Results 1 to 20 of 75
Sort by:

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