%0 Journal Article %1 journals/corr/cs-LO-0310064 %A Dransfield, Michael R. %A Marek, V. Wiktor %A Truszczynski, Miroslaw %D 2003 %J CoRR %K dblp %T Satisfiability and computing van der Waerden numbers %U http://dblp.uni-trier.de/db/journals/corr/corr0310.html#cs-LO-0310064 %V cs.LO/0310064

@article{journals/corr/cs-LO-0310064, added-at = {2020-01-10T00:00:00.000+0100}, author = {Dransfield, Michael R. and Marek, V. Wiktor and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/213073ca0ab7e62708bab70f2559386dd/dblp}, ee = {http://arxiv.org/abs/cs/0310064}, interhash = {b95f0ea7b8197539db147b8a1073d5c9}, intrahash = {13073ca0ab7e62708bab70f2559386dd}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:40:05.000+0100}, title = {Satisfiability and computing van der Waerden numbers}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0310.html#cs-LO-0310064}, volume = {cs.LO/0310064}, year = 2003 }