• Sat4j

  • Referenced in 75 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...
  • 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...
  • OPBDP

  • Referenced in 13 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...
  • 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 29 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...
  • npSolver

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

  • Referenced in 6 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 4 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 553 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • TSPLIB

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

  • Referenced in 496 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...
  • UBCSAT

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