MaxSAT by improved instance-specific algorithm configuration
Ansótegui, Carlos, Gabàs, Joel, Malitsky, Yuri, Sellmann, Meinolf
Published in Artificial intelligence (01.06.2016)
Published in Artificial intelligence (01.06.2016)
Get full text
Journal Article
Improving WPM2 for (Weighted) Partial MaxSAT
Ansótegui, Carlos, Bonet, Maria Luisa, Gabàs, Joel, Levy, Jordi
Published in Principles and Practice of Constraint Programming (2013)
Published in Principles and Practice of Constraint Programming (2013)
Get full text
Book Chapter
Publication
Improving SAT-Based Weighted MaxSAT Solvers
Ansótegui, Carlos, Bonet, Maria Luisa, Gabàs, Joel, Levy, Jordi
Published in Principles and Practice of Constraint Programming (2012)
Published in Principles and Practice of Constraint Programming (2012)
Get full text
Book Chapter