%0 Conference Paper %1 conf/mbmv/LewisSB04 %A Lewis, Matthew D. T. %A Schubert, Tobias %A Becker, Bernd %B MBMV %D 2004 %E Stoffel, Dominik %E Kunz, Wolfgang %I Shaker %K dblp %P 243-249 %T Early Conflict Detection Based SAT Solving. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2004.html#LewisSB04

@inproceedings{conf/mbmv/LewisSB04, added-at = {2012-06-28T00:00:00.000+0200}, author = {Lewis, Matthew D. T. and Schubert, Tobias and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28f50daa263f00064025de3a5d46e53e8/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2004}, editor = {Stoffel, Dominik and Kunz, Wolfgang}, interhash = {27af72b50135b58f80ec62df53a06024}, intrahash = {8f50daa263f00064025de3a5d46e53e8}, keywords = {dblp}, pages = {243-249}, publisher = {Shaker}, timestamp = {2016-02-02T14:12:48.000+0100}, title = {Early Conflict Detection Based SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2004.html#LewisSB04}, year = 2004 }