%0 Conference Paper %1 conf/sat/DransfieldMT03 %A Dransfield, Michael R. %A Marek, V. Wiktor %A Truszczynski, Miroslaw %B SAT %D 2003 %E Giunchiglia, Enrico %E Tacchella, Armando %I Springer %K dblp %P 1-13 %T Satisfiability and Computing van der Waerden Numbers. %U http://dblp.uni-trier.de/db/conf/sat/sat2003.html#DransfieldMT03 %V 2919 %@ 3-540-20851-8

@inproceedings{conf/sat/DransfieldMT03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Dransfield, Michael R. and Marek, V. Wiktor and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/27a48b74cba8c353c11fd315a172e5aa9/dblp}, booktitle = {SAT}, crossref = {conf/sat/2003}, editor = {Giunchiglia, Enrico and Tacchella, Armando}, ee = {https://doi.org/10.1007/978-3-540-24605-3_1}, interhash = {b95f0ea7b8197539db147b8a1073d5c9}, intrahash = {7a48b74cba8c353c11fd315a172e5aa9}, isbn = {3-540-20851-8}, keywords = {dblp}, pages = {1-13}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:10:52.000+0200}, title = {Satisfiability and Computing van der Waerden Numbers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2003.html#DransfieldMT03}, volume = 2919, year = 2003 }