%0 Conference Paper %1 conf/aaai/BayardoS97 %A Jr., Roberto J. Bayardo %A Schrag, Robert %B AAAI/IAAI %D 1997 %E Kuipers, Benjamin %E Webber, Bonnie L. %I AAAI Press / The MIT Press %K dblp %P 203-208 %T Using CSP Look-Back Techniques to Solve Real-World SAT Instances. %U http://dblp.uni-trier.de/db/conf/aaai/aaai97.html#BayardoS97 %@ 0-262-51095-2

@inproceedings{conf/aaai/BayardoS97, added-at = {2023-09-05T00:00:00.000+0200}, author = {Jr., Roberto J. Bayardo and Schrag, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2faea61f349d92ab4b9f137daad7963c1/dblp}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/1997}, editor = {Kuipers, Benjamin and Webber, Bonnie L.}, ee = {http://www.aaai.org/Library/AAAI/1997/aaai97-032.php}, interhash = {0bcdb41a6452a8ceafa13d4b7afd3552}, intrahash = {faea61f349d92ab4b9f137daad7963c1}, isbn = {0-262-51095-2}, keywords = {dblp}, pages = {203-208}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-09T18:08:22.000+0200}, title = {Using CSP Look-Back Techniques to Solve Real-World SAT Instances.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai97.html#BayardoS97}, year = 1997 }