%0 Conference Paper %1 conf/cp/DaviesCB10 %A Davies, Jessica %A Cho, Jeremy %A Bacchus, Fahiem %B CP %D 2010 %E Cohen, David %I Springer %K dblp %P 176-190 %T Using Learnt Clauses in maxsat. %U http://dblp.uni-trier.de/db/conf/cp/cp2010.html#DaviesCB10 %V 6308 %@ 978-3-642-15395-2

@inproceedings{conf/cp/DaviesCB10, added-at = {2024-03-12T00:00:00.000+0100}, author = {Davies, Jessica and Cho, Jeremy and Bacchus, Fahiem}, biburl = {https://www.bibsonomy.org/bibtex/2095ebf63d2887f0d085ba488a0cb92f5/dblp}, booktitle = {CP}, crossref = {conf/cp/2010}, editor = {Cohen, David}, ee = {https://doi.org/10.1007/978-3-642-15396-9_17}, interhash = {c0bb6c2e8d00070e72e29d8ba229c5d8}, intrahash = {095ebf63d2887f0d085ba488a0cb92f5}, isbn = {978-3-642-15395-2}, keywords = {dblp}, pages = {176-190}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:58.000+0200}, title = {Using Learnt Clauses in maxsat.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2010.html#DaviesCB10}, volume = 6308, year = 2010 }