%0 Conference Paper %1 conf/sat/LewisSB04 %A Lewis, Matthew D. T. %A Schubert, Tobias %A Becker, Bernd %B SAT %D 2004 %K dblp %T Early Conflict Detection Based BCP for SAT Solving. %U http://dblp.uni-trier.de/db/conf/sat/sat2004.html#LewisSB04

@inproceedings{conf/sat/LewisSB04, added-at = {2005-06-06T00:00:00.000+0200}, author = {Lewis, Matthew D. T. and Schubert, Tobias and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27f879bc43811377f30d2134a1288ce74/dblp}, booktitle = {SAT}, crossref = {conf/sat/2004}, ee = {http://www.satisfiability.org/SAT04/programme/22.pdf}, interhash = {a4c351c1e2500f5c7f200ebf7da821b1}, intrahash = {7f879bc43811377f30d2134a1288ce74}, keywords = {dblp}, timestamp = {2016-02-02T15:37:41.000+0100}, title = {Early Conflict Detection Based BCP for SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2004.html#LewisSB04}, year = 2004 }