• MiniSat

  • Referenced in 566 articles [sw00577]
  • projects related to MiniSat, including the Pseudo-boolean solver MiniSat+ and the CNF minimizer/preprocessor SatELite...
  • Sat4j

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

  • Referenced in 36 articles [sw09732]
  • well as pseudo-boolean objective functions and constraints. Its main features are: learning and backjumping...
  • Pueblo

  • Referenced in 33 articles [sw00743]
  • hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order...
  • HySAT

  • Referenced in 25 articles [sw01980]
  • tight integration of a DPLL-based pseudo-Boolean SAT solver and a linear programming routine...
  • ToulBar2

  • Referenced in 22 articles [sw07289]
  • Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean Optimization, and Bayesian Networks...
  • PBLib

  • Referenced in 10 articles [sw13578]
  • PBLib - a library for encoding pseudo-Boolean constraints into CNF. PBLib is an easy ... library, written in C++ for translating pseudo-Boolean (PB) constraints into CNF. We have implemented...
  • OPBDP

  • Referenced in 14 articles [sw05036]
  • Davis-Putnam Based Enumeration Algorithm for LinearPseudo-Boolean Optimization , 0-1 variables, objective and constraints ... 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...
  • Runsolver

  • Referenced in 9 articles [sw08840]
  • edition of the pseudo-Boolean competition in order to solve the problem of correctly measuring...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • direct support for cardinality constraints or pseudo-Boolean constraints...
  • SymChaff

  • Referenced in 6 articles [sw00938]
  • approaches like symmetry breaking predicates, implicit pseudo-Boolean representations, general group-theoretic methods, and zero...
  • WPM3

  • Referenced in 6 articles [sw41870]
  • sequence of SAT decision problems where Pseudo-Boolean (PB) constraints may be introduced. In order...
  • PackUp

  • Referenced in 4 articles [sw10046]
  • This paper presents PackUp (PACKage UPgradability with Boolean formulations) a framework for solving ... weighted partia MaxSAT solvers and optimization pseudo-Boolean (OPB) solvers. The paper discusses the design...
  • OPIUM

  • Referenced in 4 articles [sw08000]
  • Using off-the-shelf SAT solvers, pseudo-boolean solvers, and Integer Linear Programming solvers...
  • BoolVar/PB

  • Referenced in 2 articles [sw13579]
  • Java library for translating pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear ... allows problems that are specified with pseudo-Boolean constraints to be solved using SAT solvers...
  • GraMoFoNe

  • Referenced in 3 articles [sw34237]
  • express our problem as a linear pseudo-boolean optimization problem (LPB), i.e. as a linear...
  • MinisatID

  • Referenced in 1 article [sw14760]
  • languages CNF, ECNF (native format), OPB (pseudo-boolean) QBF, FlatZinc and ground Lparse. Can transform...
  • npSolver

  • Referenced in 1 article [sw13580]
  • based solver for optimization problems. The pseudo-Boolean (PB) solver npSolver encodes PB into...
  • TSPLIB

  • Referenced in 698 articles [sw00983]
  • TSPLIB is a library of sample instances for...