• Yices

  • Referenced in 136 articles [sw04436]
  • competitive as an ordinary SAT and MaxSAT solver...
  • Sat4j

  • Referenced in 73 articles [sw07283]
  • optimization problems. It can solve SAT, MAXSAT, Pseudo-Boolean, Minimally Unsatisfiable Subset (MUS) problems. Being...
  • Open-WBO

  • Referenced in 16 articles [sw10045]
  • Open-WBO: a modular MaxSAT solver. This paper presents open-wbo, a new MaxSAT solver ... easily modified and extended. Most MaxSAT solvers are not available in open-source, making ... hard to extend and improve current MaxSAT algorithms. Second, open-wbo may use any MiniSAT ... underlying SAT solver. As many other MaxSAT solvers, open-wbo relies on successive calls...
  • MaxHS

  • Referenced in 19 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 15 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 SAT-IP hybrid maxsat solver. We describe LMHS, an open-source weighted partial ... maximum satisfiability (MaxSAT) solver. LMHS is a hybrid SAT-IP 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 pseudo-Boolean (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 open-source unsat-based MaxSAT solver (both ... wish to learn about unsatisfiability-based MaxSAT solving. The current implementation does...
  • 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 open-source preprocessor for (weighted partial ... maximum satisfiability (MaxSAT). MaxPre implements both SAT-based and MaxSAT-specific preprocessing techniques, and offers ... tight integration into SAT-based MaxSAT solvers...
  • 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...
  • MiniSat

  • Referenced in 527 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • OptSAT

  • Referenced in 2 articles [sw00656]
  • optsat: A Tool for Solving SAT Related Optimization...