%0 Conference Paper %1 conf/ijcai/KrocSGS09 %A Kroc, Lukas %A Sabharwal, Ashish %A Gomes, Carla P. %A Selman, Bart %B IJCAI %D 2009 %E Boutilier, Craig %K dblp %P 544-551 %T Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2009.html#KrocSGS09

@inproceedings{conf/ijcai/KrocSGS09, added-at = {2019-08-20T00:00:00.000+0200}, author = {Kroc, Lukas and Sabharwal, Ashish and Gomes, Carla P. and Selman, Bart}, biburl = {https://www.bibsonomy.org/bibtex/2e76b456fc7343497cfbc2a178688a5d3/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2009}, editor = {Boutilier, Craig}, ee = {http://ijcai.org/Proceedings/09/Papers/097.pdf}, interhash = {bb1dd75ed9792b890676d3ee491a8adf}, intrahash = {e76b456fc7343497cfbc2a178688a5d3}, keywords = {dblp}, pages = {544-551}, timestamp = {2019-08-21T11:51:15.000+0200}, title = {Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2009.html#KrocSGS09}, year = 2009 }