%0 Journal Article %1 journals/amai/ArgelichBFMP16 %A Argelich, Josep %A Béjar, Ramón %A Fernández, Cèsar %A Mateu, Carles %A Planes, Jordi %D 2016 %J Ann. Math. Artif. Intell. %K dblp %N 1-2 %P 43-66 %T On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. %U http://dblp.uni-trier.de/db/journals/amai/amai77.html#ArgelichBFMP16 %V 77

@article{journals/amai/ArgelichBFMP16, added-at = {2019-09-25T00:00:00.000+0200}, author = {Argelich, Josep and Béjar, Ramón and Fernández, Cèsar and Mateu, Carles and Planes, Jordi}, biburl = {https://www.bibsonomy.org/bibtex/2691f023e48194820072630715efe964c/dblp}, ee = {https://www.wikidata.org/entity/Q62043237}, interhash = {ba7037a1427841cc17b81846f9ec7f43}, intrahash = {691f023e48194820072630715efe964c}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {43-66}, timestamp = {2019-09-26T11:56:36.000+0200}, title = {On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai77.html#ArgelichBFMP16}, volume = 77, year = 2016 }