%0 Conference Paper %1 conf/sat/Mayer-EichbergerW13 %A Mayer-Eichberger, Valentin %A Walsh, Toby %B POS@SAT %D 2013 %E Berre, Daniel Le %I EasyChair %K dblp %P 15-27 %T SAT Encodings for the Car Sequencing Problem. %U http://dblp.uni-trier.de/db/conf/sat/pos2013.html#Mayer-EichbergerW13 %V 29

@inproceedings{conf/sat/Mayer-EichbergerW13, added-at = {2021-08-15T00:00:00.000+0200}, author = {Mayer-Eichberger, Valentin and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/2374171f723bc61faf4b6c21f55707a05/dblp}, booktitle = {POS@SAT}, crossref = {conf/sat/2013pos}, editor = {Berre, Daniel Le}, ee = {https://doi.org/10.29007/jrsp}, interhash = {8779b48f218f3dfb12222187fe9b8cc0}, intrahash = {374171f723bc61faf4b6c21f55707a05}, keywords = {dblp}, pages = {15-27}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T19:21:33.000+0200}, title = {SAT Encodings for the Car Sequencing Problem.}, url = {http://dblp.uni-trier.de/db/conf/sat/pos2013.html#Mayer-EichbergerW13}, volume = 29, year = 2013 }