%0 Conference Paper %1 conf/cp/BayardoS96 %A Jr., Roberto J. Bayardo %A Schrag, Robert %B CP %D 1996 %E Freuder, Eugene C. %I Springer %K dblp %P 46-60 %T Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances. %U http://dblp.uni-trier.de/db/conf/cp/cp96.html#BayardoS96 %V 1118

@inproceedings{conf/cp/BayardoS96, added-at = {2017-05-17T00:00:00.000+0200}, author = {Jr., Roberto J. Bayardo and Schrag, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2053cd335c00331968ed87962cab88bd7/dblp}, booktitle = {CP}, crossref = {conf/cp/1996}, editor = {Freuder, Eugene C.}, ee = {https://doi.org/10.1007/3-540-61551-2_65}, interhash = {e02dc7eecc7b2c42dfe3ee164032d4ea}, intrahash = {053cd335c00331968ed87962cab88bd7}, keywords = {dblp}, pages = {46-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:20:19.000+0200}, title = {Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp96.html#BayardoS96}, volume = 1118, year = 1996 }