%0 Conference Paper %1 conf/sat/NevesMJLM15 %A Neves, Miguel %A Martins, Ruben %A Janota, Mikolás %A Lynce, Inês %A Manquinho, Vasco %B SAT %D 2015 %E Heule, Marijn %E Weaver, Sean A. %I Springer %K dblp %P 272-286 %T Exploiting Resolution-Based Representations for MaxSAT Solving. %U http://dblp.uni-trier.de/db/conf/sat/sat2015.html#NevesMJLM15 %V 9340 %@ 978-3-319-24317-7

@inproceedings{conf/sat/NevesMJLM15, added-at = {2024-09-17T00:00:00.000+0200}, author = {Neves, Miguel and Martins, Ruben and Janota, Mikolás and Lynce, Inês and Manquinho, Vasco}, biburl = {https://www.bibsonomy.org/bibtex/2ae765140adab466b8ddeca916298be17/dblp}, booktitle = {SAT}, crossref = {conf/sat/2015}, editor = {Heule, Marijn and Weaver, Sean A.}, ee = {https://doi.org/10.1007/978-3-319-24318-4_20}, interhash = {1f1dd3e89daa4c8bf02aad35ff1c08c8}, intrahash = {ae765140adab466b8ddeca916298be17}, isbn = {978-3-319-24317-7}, keywords = {dblp}, pages = {272-286}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-09-23T07:20:07.000+0200}, title = {Exploiting Resolution-Based Representations for MaxSAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2015.html#NevesMJLM15}, volume = 9340, year = 2015 }