%0 Conference Paper %1 conf/cp/BergJ16 %A Berg, Jeremias %A Järvisalo, Matti %B CP %D 2016 %E Rueher, Michel %I Springer %K %P 66-85 %T Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. %U http://dblp.uni-trier.de/db/conf/cp/cp2016.html#BergJ16 %V 9892 %@ 978-3-319-44952-4

@inproceedings{conf/cp/BergJ16, added-at = {2023-12-12T20:10:43.000+0100}, author = {Berg, Jeremias and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/2f1103b1ccbe8cbfb3c5a813132519be0/admin}, booktitle = {CP}, crossref = {conf/cp/2016}, editor = {Rueher, Michel}, ee = {https://doi.org/10.1007/978-3-319-44953-1_5}, interhash = {2b9a441898a6b06a0452053e249b1cca}, intrahash = {f1103b1ccbe8cbfb3c5a813132519be0}, isbn = {978-3-319-44952-4}, keywords = {}, pages = {66-85}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:10:43.000+0100}, title = {Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2016.html#BergJ16}, volume = 9892, year = 2016 }