Open-WBO: A Modular MaxSAT Solver,

231 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules (2019, methodology): “In contrast, queries constructed by IMLI are easier and the best runtime performance is obtained by using Open-WBO solver [16].”
Discovering State and Action Abstractions for Generalized Task and Motion Planning (2021, methodology): “Our implementation uses the OpenWBO (Martins, Manquinho, and Lynce 2014) weighted Max-SAT solver and sets weights on the features that correspond the complexity of that feature in the grammar.”
Learning Features and Abstract Actions for Computing Generalized Plans (2018, methodology): “The Weighted-Max Solver is Open-WBO (Martins, Manquinho, and Lynce 2014) and the FOND planner is SAT-FOND (Geffner and Geffner 2018).”
Interventional Fairness: Causal Database Repair for Algorithmic Fairness (2019, methodology): “We used the OpenWBO [33] solver to solve the weighted MaxSAT instances.”