
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 opensource 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 SATbased 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]
 opensource preprocessor for (weighted partial) maximum satisfiability (MaxSAT). MaxPre implements both SATbased...

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 561 articles
[sw00611]
 graphtheoretic 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...

Zchaff2004
 Referenced in 21 articles
[sw01032]
 The Boolean Satisfiability Problem (SAT) is a well...

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 highperformance theorem prover being...

RPOLY
 Referenced in 10 articles
[sw05301]
 Haplotype inference with pseudoBoolean optimization. The fast...