%0 Conference Paper %1 conf/sat/LiuT04 %A Liu, Lengning %A Truszczynski, Miroslaw %B SAT %D 2004 %K dblp %T Local Search with Bootstrapping. %U http://dblp.uni-trier.de/db/conf/sat/sat2004.html#LiuT04

@inproceedings{conf/sat/LiuT04, added-at = {2020-03-12T00:00:00.000+0100}, author = {Liu, Lengning and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/28badfc07e3eba16cfe422ad80a872232/dblp}, booktitle = {SAT}, crossref = {conf/sat/2004}, ee = {http://www.satisfiability.org/SAT04/programme/109.pdf}, interhash = {e80f98ea0b69d553241428ca5d31bd81}, intrahash = {8badfc07e3eba16cfe422ad80a872232}, keywords = {dblp}, timestamp = {2020-03-13T12:48:27.000+0100}, title = {Local Search with Bootstrapping.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2004.html#LiuT04}, year = 2004 }