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

  • Referenced in 21 articles [sw21187]
  • most general weighted partial class. Unlike most other MaxSat solvers MaxHS can accept floating point...
  • WPM2

  • Referenced in 5 articles [sw19790]
  • Improving WPM2 for (Weighted) Partial MaxSAT. Weighted Partial MaxSAT (WPMS) is an optimization variant...
  • antom

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

  • Referenced in 8 articles [sw16738]
  • LMHS, an open-source weighted partial maximum satisfiability (MaxSAT) solver. LMHS is a hybrid...
  • PackUp

  • Referenced in 4 articles [sw10046]
  • encodes the problem as a weighted partial MaxSAT formula and invokes a dedicated solver...
  • SATLike

  • Referenced in 1 article [sw36041]
  • MaxSAT problem is referred to as Partial MaxSAT, which has been used to effectively solve ... method are two popular methods for Partial MaxSAT. Nevertheless, local search algorithms have been dominated ... competitive with SAT-based algorithms on industrial MaxSAT benchmarks. We propose a local search algorithm ... SATLike, which exploits the structure of Partial MaxSAT by a novel clause weighting scheme. Then...
  • MSUnCore

  • Referenced in 3 articles [sw09733]
  • software system for solving (Weighted) (Partial) Maximum Satisfiability (MaxSAT), and implements a number of different...
  • MaxPre

  • Referenced in 1 article [sw21952]
  • open-source preprocessor for (weighted partial) maximum satisfiability (MaxSAT). MaxPre implements both SAT-based...
  • MiniSat

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

  • Referenced in 561 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Paramils

  • Referenced in 70 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • Reveal

  • Referenced in 20 articles [sw00801]
  • We describe the Reveal formal functional verification system...
  • UBCSAT

  • Referenced in 36 articles [sw02614]
  • UBCSAT: An implementation and experimentation environment for SLS...
  • CPLEX

  • Referenced in 2583 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 530 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • Walksat

  • Referenced in 208 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • z3

  • Referenced in 509 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • RPOLY

  • Referenced in 10 articles [sw05301]
  • Haplotype inference with pseudo-Boolean optimization. The fast...