%0 Conference Paper %1 conf/sat/HerasLO07 %A Heras, Federico %A Larrosa, Javier %A Oliveras, Albert %B SAT %D 2007 %E Marques-Silva, João %E Sakallah, Karem A. %I Springer %K dblp %P 41-55 %T MiniMaxSat: A New Weighted Max-SAT Solver. %U http://dblp.uni-trier.de/db/conf/sat/sat2007.html#HerasLO07 %V 4501 %@ 978-3-540-72787-3

@inproceedings{conf/sat/HerasLO07, added-at = {2017-06-05T00:00:00.000+0200}, author = {Heras, Federico and Larrosa, Javier and Oliveras, Albert}, biburl = {https://www.bibsonomy.org/bibtex/29d39bc37efd580d850c3951c1838d057/dblp}, booktitle = {SAT}, crossref = {conf/sat/2007}, editor = {Marques-Silva, João and Sakallah, Karem A.}, ee = {https://doi.org/10.1007/978-3-540-72788-0_8}, interhash = {e886921a8217580b3fa4cdd730204cc3}, intrahash = {9d39bc37efd580d850c3951c1838d057}, isbn = {978-3-540-72787-3}, keywords = {dblp}, pages = {41-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:23:06.000+0100}, title = {MiniMaxSat: A New Weighted Max-SAT Solver.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2007.html#HerasLO07}, volume = 4501, year = 2007 }