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

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

OpenWBO
 Referenced in 18 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 21 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 16 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 8 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...

maxino
 Referenced in 6 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...

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

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

MiFuMax
 Referenced in 2 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 1 article
[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...

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

VOLT
 Referenced in 1 article
[sw19194]
 lazy grounding framework for solving very large maxsat instances. Very large MaxSAT instances, comprising ... grounds a subset of clauses in the MaxSAT problem, and solves it using ... shelf MaxSAT solver. VOLT provides a common ground to compare and contrast different lazy grounding ... approaches for solving large MaxSAT instances. We cast four diverse approaches from the literature...

MaxPre
 Referenced in 1 article
[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...

RC2
 Referenced in 1 article
[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...

prefMaxSAT
 Referenced in 1 article
[sw22089]
 prefMaxSAT: Exploiting MaxSAT for Enumerating Preferred Extensions. In this paper we introduce prefMaxSAT , a solver ... extensions search for abstract argumentation, using the MaxSAT approach...

npSolver
 Referenced in 1 article
[sw13580]
 solver iteratively. The system supports MaxSAT, PB and WBO. Optimization instances are tackled...

MALLBA
 Referenced in 27 articles
[sw00542]
 The MALLBA project tackles the resolution of combinatorial...