Crossmark

On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes

Published Online: 2016-02-25

Published Print: 2016-06

Authors

Argelich, Josep

Béjar, Ramón

Fernández, Cèsar

Mateu, Carles

Planes, Jordi https://orcid.org/0000-0003-1861-9736
Funding

Funding for this research was provided by:

Ministerio de Ciencia y Tecnología (ES) (TIN2013-48031-C4-4-P, TIN2014-53234-C2-2-R)
License Information

Text and Data Mining valid from 2016-02-25

Document is current