%0 Conference Paper %1 conf/sat/KrocSS09 %A Kroc, Lukas %A Sabharwal, Ashish %A Selman, Bart %B SAT %D 2009 %E Kullmann, Oliver %I Springer %K dblp %P 447-452 %T Relaxed DPLL Search for MaxSAT. %U http://dblp.uni-trier.de/db/conf/sat/sat2009.html#KrocSS09 %V 5584 %@ 978-3-642-02776-5

@inproceedings{conf/sat/KrocSS09, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kroc, Lukas and Sabharwal, Ashish and Selman, Bart}, biburl = {https://www.bibsonomy.org/bibtex/290a2211afdacb728f4681c7fcf245bbd/dblp}, booktitle = {SAT}, crossref = {conf/sat/2009}, editor = {Kullmann, Oliver}, ee = {https://doi.org/10.1007/978-3-642-02777-2_41}, interhash = {8d4ea40e92de8818b33ef2276194b119}, intrahash = {90a2211afdacb728f4681c7fcf245bbd}, isbn = {978-3-642-02776-5}, keywords = {dblp}, pages = {447-452}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:10:52.000+0200}, title = {Relaxed DPLL Search for MaxSAT.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2009.html#KrocSS09}, volume = 5584, year = 2009 }