Open-WBO MaxSAT Solver

Miguel Neves, Ruben Martins, Mikolas Janota, Inês Lynce, Vasco Manquinho: Exploiting Resolution-Based Representations for MaxSAT Solving. SAT 2015: 272-286
Saurabh Joshi, Ruben Martins, Vasco Manquinho: Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CP 2015: 200-209
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce: Incremental Cardinality Constraints for MaxSAT. CP 2014: 531-548
Ruben Martins, Vasco Manquinho, Inês Lynce: Open-WBO: A Modular MaxSAT Solver. SAT 2014: 438-445

Contact