%0 Conference Paper %1 conf/sat/KorhonenBSJ17 %A Korhonen, Tuukka %A Berg, Jeremias %A Saikko, Paul %A Järvisalo, Matti %B SAT %D 2017 %E Gaspers, Serge %E Walsh, Toby %I Springer %K %P 449-456 %T MaxPre: An Extended MaxSAT Preprocessor. %U http://dblp.uni-trier.de/db/conf/sat/sat2017.html#KorhonenBSJ17 %V 10491 %@ 978-3-319-66263-3

@inproceedings{conf/sat/KorhonenBSJ17, added-at = {2023-12-13T06:33:33.000+0100}, author = {Korhonen, Tuukka and Berg, Jeremias and Saikko, Paul and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/2f1b50e5a0afcd846910fa077bc2fb03b/admin}, booktitle = {SAT}, crossref = {conf/sat/2017}, editor = {Gaspers, Serge and Walsh, Toby}, ee = {https://doi.org/10.1007/978-3-319-66263-3_28}, interhash = {af094b446a9616bb778c90b609b70450}, intrahash = {f1b50e5a0afcd846910fa077bc2fb03b}, isbn = {978-3-319-66263-3}, keywords = {}, pages = {449-456}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:33:33.000+0100}, title = {MaxPre: An Extended MaxSAT Preprocessor.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html#KorhonenBSJ17}, volume = 10491, year = 2017 }