Exploiting subproblem optimization in SAT-based MaxSAT algorithms
Crossref DOI link: https://doi.org/10.1007/s10732-015-9300-7
Published Online: 2015-09-15
Published Print: 2016-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ansótegui, Carlos
Gabàs, Joel
Levy, Jordi
Funding for this research was provided by:
Ministerio de Economía y Competitividad (ES) (TIN2013-48031-C4-4-P)
Google (US) (Faculty Research Award program)
Text and Data Mining valid from 2015-09-15