Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction

142 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.

Optimal Decision Lists using SAT (2020, background): “The underlying SAT solver is Glucose 3 (Audemard, Lagniez, and Simon 2013).”
Computing Optimal Decision Sets with SAT (2020, methodology): “ompetitors. Based on the publicly available implementation of MinDS [31,51], all the proposed models were implemented in a prototype as a Python script instrumenting calls to the Glucose 3 SAT solver [2,27]. The implementation targets the models proposed in the paper, namely, (1) the iterative SAT m”
RC2: an Efficient MaxSAT Solver (2019, methodology): “By default, RC2 uses Glucose 3.0 [5] as the underlying SAT oracle.”
Open-WBO: A Modular MaxSAT Solver, (2014, methodology): “0 was modified to support the optimizations on assumptions [7] for MaxSAT.”