
Yices
 Referenced in 154 articles
[sw04436]
 competitive as an ordinary SAT and MaxSAT solver...

Sat4j
 Referenced in 85 articles
[sw07283]
 optimization problems. It can solve SAT, MAXSAT, PseudoBoolean, Minimally Unsatisfiable Subset (MUS) problems. Being...

OpenWBO
 Referenced in 28 articles
[sw10045]
 OpenWBO: a modular MaxSAT solver. This paper presents openwbo, a new MaxSAT solver ... easily modified and extended. Most MaxSAT solvers are not available in opensource, making ... hard to extend and improve current MaxSAT algorithms. Second, openwbo may use any MiniSAT ... underlying SAT solver. As many other MaxSAT solvers, openwbo relies on successive calls...

MaxHS
 Referenced in 27 articles
[sw21187]
 accepts any of the four classes of MaxSat problems including the most general weighted partial ... class. Unlike most other MaxSat solvers MaxHS can accept floating point weights. Represent your optimization ... WDIMACS format as used by the MaxSat Evauations...

QMaxSAT
 Referenced in 19 articles
[sw09568]
 Solver. QMaxSAT is a partial MaxSAT solver based on SAT solver MiniSat. The solver ... licence. QMaxSAT became a weighted partial MaxSAT solver...

LMHS
 Referenced in 12 articles
[sw16738]
 LMHS: A SATIP hybrid maxsat solver. We describe LMHS, an opensource weighted partial ... maximum satisfiability (MaxSAT) solver. LMHS is a hybrid SATIP MaxSAT solver that implements ... implicit hitting set approach to MaxSAT. On top of the main algorithm, LMHS offers integrated...

RC2
 Referenced in 10 articles
[sw36048]
 pythonbased maxsat solver. An implementation of the RC2 algorithm for solving maximum satisfiability ... originally implemented in the MSCG MaxSAT solver. Initially, this solver was supposed to serve ... illustrating how a stateoftheart MaxSAT algorithm could be implemented in Python ... still be efficient. It participated in the MaxSAT Evaluations 2018 and 2019 where, surprisingly...

maxino
 Referenced in 8 articles
[sw33093]
 maxino: Maxino is a solver for MaxSAT, the optimization variant of the satisfiability problem ... Alviano, Carmine Dodaro, and Francesco Ricca. A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size...

WPM3
 Referenced in 6 articles
[sw41870]
 complete algorithm for weighted partial MaxSAT. Maximum Satisfiability (MaxSAT) has been used to solve efficiently ... optimization problems. At recent editions of international MaxSAT Evaluation (MSE), the best performing solvers ... based algorithms. These algorithms reformulate the MaxSAT optimization problem into a sequence of SAT decision...

WPM2
 Referenced in 5 articles
[sw19790]
 Improving WPM2 for (Weighted) Partial MaxSAT. Weighted Partial MaxSAT (WPMS) is an optimization variant ... WPMS instances at the 2012 MaxSAT Evaluation, we can conclude that the new approach...

PackUp
 Referenced in 4 articles
[sw10046]
 encodes the problem as a weighted partial MaxSAT formula and invokes a dedicated solver ... supports two types of solvers: weighted partia MaxSAT solvers and optimization pseudoBoolean (OPB) solvers...

antom
 Referenced in 4 articles
[sw11457]
 library for solving: SAT, Unweighted MaxSAT, Partial MaxSAT, and #SAT problems...

MiFuMax
 Referenced in 3 articles
[sw25460]
 MiFuMax  a literate MaxSAT solver. MiFuMaX is an opensource unsatbased MaxSAT solver (both ... wish to learn about unsatisfiabilitybased MaxSAT solving. The current implementation does...

SATLike
 Referenced in 2 articles
[sw36041]
 hybridization for maximum satisfiability. Maximum Satisfiability (MaxSAT) is a basic and important constraint optimization problem ... with both hard and soft constraints, the MaxSAT problem is referred to as Partial MaxSAT ... method are two popular methods for Partial MaxSAT. Nevertheless, local search algorithms have been dominated ... competitive with SATbased algorithms on industrial MaxSAT benchmarks. We propose a local search algorithm...

IMLI
 Referenced in 2 articles
[sw41233]
 IMLI: An Incremental Framework for MaxSATBased Learning of Interpretable Classification Rules. The wide adoption ... interpretability. Motivated by the success of MaxSAT solvers over the past decade, recently MaxSATbased ... Conjunctive Normal Form (CNF) to a MaxSAT query. While MLIC was shown to achieve accuracy ... interpretable learning that can take advantage of MaxSAT solvers while scaling to realworld instances...

MSUnCore
 Referenced in 3 articles
[sw09733]
 system for solving (Weighted) (Partial) Maximum Satisfiability (MaxSAT), and implements a number of different algorithms ... Most of the MaxSAT algorithms implemented in MSUnCore are based on iterative identification of unsatisfiable...

OpenWBOInc
 Referenced in 2 articles
[sw41869]
 OpenWBOInc is a MaxSAT solver tailored to the incomplete MaxSAT problem. In incomplete ... MaxSAT, the goal is to find an approximate solution to a given MaxSAT formula ... OpenWBO, a stateoftheart MaxSAT solver, and has been implemented...

MaxPre
 Referenced in 2 articles
[sw21952]
 Maxpre: an extended maxsat preprocessor. We describe MaxPre, an opensource preprocessor for (weighted partial ... maximum satisfiability (MaxSAT). MaxPre implements both SATbased and MaxSATspecific preprocessing techniques, and offers ... tight integration into SATbased MaxSAT solvers...

MLIC
 Referenced in 2 articles
[sw41213]
 MLIC: A MaxSATBased framework for learning interpretable classification rules. The wide adoption of machine ... hard. Our primary contribution is a MaxSATbased framework, called MLIC, which allows principled search ... show that recent advances in the MaxSAT literature make it realistic to find optimal...

IncMaxCLQ
 Referenced in 1 article
[sw21468]
 MaxClique. Combining Incremental Upper Bound and MaxSAT reasoning for MaxClique. MaxSAT reasoning is powerful ... graph. However, existing upper bounds based on MaxSAT reasoning have two drawbacks: (1) at every ... node of the search tree, MaxSAT reasoning has to be performed from scratch to compute ... hardness of the MaxSAT problem, MaxSAT reasoning generally cannot be complete at a node...