-
Sat4j
- Referenced in 85 articles
[sw07283]
- boolean satisfaction and optimization problems. It can solve SAT, MAXSAT, Pseudo-Boolean, Minimally Unsatisfiable Subset...
-
ToulBar2
- Referenced in 22 articles
[sw07289]
- Toulbar2 is an exact discrete optimization c++ open-source software for Graphical Models such ... Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean Optimization, and Bayesian Networks...
-
OPBDP
- Referenced in 14 articles
[sw05036]
- Putnam Based Enumeration Algorithm for LinearPseudo-Boolean Optimization , 0-1 variables, objective and constraints polynomial ... Putnam Based Enumeration Algorithm for Linear Pseudo-Boolean Optimization...
-
RPOLY
- Referenced in 10 articles
[sw05301]
- Haplotype inference with pseudo-Boolean optimization. The fast development of sequencing techniques in the recent ... introduction of SAT-based methods, including pseudo-Boolean optimization (PBO) methods, has produced very efficient...
-
PackUp
- Referenced in 4 articles
[sw10046]
- This paper presents PackUp (PACKage UPgradability with Boolean formulations) a framework for solving ... solvers: weighted partia MaxSAT solvers and optimization pseudo-Boolean (OPB) solvers. The paper discusses...
-
Pueblo
- Referenced in 33 articles
[sw00743]
- hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order ... solve PB satisfiability and optimization problems. To achieve this, we adopt the cutting-plane technique...
-
GraMoFoNe
- Referenced in 3 articles
[sw34237]
- express our problem as a linear pseudo-boolean optimization problem (LPB), i.e. as a linear...
-
HySAT
- Referenced in 25 articles
[sw01980]
- tight integration of a DPLL-based pseudo-Boolean SAT solver and a linear programming routine ... tool exploits the various optimizations that arise naturally in the bounded model checking context...
-
MiniMaxSat
- Referenced in 36 articles
[sw09732]
- well as pseudo-boolean objective functions and constraints. Its main features are: learning and backjumping ... empirical evaluation on a wide set of optimization benchmarks indicates that its performance is usually...
-
WPM3
- Referenced in 6 articles
[sw41870]
- MaxSAT optimization problem into a sequence of SAT decision problems where Pseudo-Boolean (PB) constraints...
-
npSolver
- Referenced in 1 article
[sw13580]
- based solver for optimization problems. The pseudo-Boolean (PB) solver npSolver encodes PB into...
-
PBLib
- Referenced in 10 articles
[sw13578]
- library, written in C++ for translating pseudo-Boolean (PB) constraints into CNF. We have implemented ... translation. We also support incremental strengthening for optimization problems, where the tighter bound is realized...
-
OPIUM
- Referenced in 4 articles
[sw08000]
- OPIUM: Optimal Package Install/Uninstall Manager. Linux distributions often include package management tools such ... Using off-the-shelf SAT solvers, pseudo-boolean solvers, and Integer Linear Programming solvers ... find it, and (2) Opium can optimize a user-provided objective function, which could...
-
lp2normal
- Referenced in 7 articles
[sw25505]
- rules, and weight rules, and to rewrite optimization statements using comparable techniques. The produced logic ... direct support for cardinality constraints or pseudo-Boolean constraints...
-
MiniSat
- Referenced in 566 articles
[sw00577]
- An extensible SAT-solver. MiniSat is a minimalistic...
-
TSPLIB
- Referenced in 697 articles
[sw00983]
- TSPLIB is a library of sample instances for...
-
UnitWalk
- Referenced in 36 articles
[sw00993]
- In this paper we present a new randomized...
-
SCIP
- Referenced in 536 articles
[sw01091]
- SCIP is currently one of the fastest non...
-
Alloy
- Referenced in 30 articles
[sw01247]
- Alloy: A new technology for software modelling. Alloy...
-
MaxSolver
- Referenced in 20 articles
[sw01990]
- Maximum Boolean satisfiability (max-SAT) is the optimization...