• CALMA

  • Referenced in 105 articles [sw03235]
  • based on branch-and-cut and constraint satisfaction, and approximation techniques including a variety...
  • Choco

  • Referenced in 61 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction problems (CSP) and constraint programming...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • modeling and solving nonlinear and nonconvex constraint satisfaction and optimization problems over the real numbers ... discrete, have to be bounded. Functions and constraints have to be defined by analytical expressions...
  • Numerica

  • Referenced in 46 articles [sw21227]
  • interval and local methods, and constraint satisfaction techniques.This comprehensive presentation of Numerica describes its design...
  • Outward rotations

  • Referenced in 44 articles [sw08660]
  • simplest and most natural APX-complete constraint satisfaction problem (see, e.g., [AL97]). There are various...
  • HR

  • Referenced in 29 articles [sw10392]
  • include the generation of constraints for constraint satisfaction problems, the generation of lemmas for automated...
  • CPlan

  • Referenced in 27 articles [sw05037]
  • CPlan solves planning problems formulated as constraint satisfaction problems...
  • Sugar

  • Referenced in 25 articles [sw09758]
  • based Constraint Solver. Constraint Satisfaction Problem (CSP) is encoded to a Boolean CNF formula ... external SAT solver. Sugar also can solve Constraint Optimization Problems (COP) and Max-CSP. Sugar...
  • BL data set

  • Referenced in 25 articles [sw08330]
  • Project Scheduling Problems. In recent years, constraint satisfaction techniques have been successfully applied to “disjunctive ... area of “cumulative” scheduling. Multiple constraint propagation algorithms have been developed for cumulative resources...
  • GLOPTLAB

  • Referenced in 15 articles [sw02776]
  • rigorous global solution of quadratic constraint satisfaction problems. Global Optimization Laboratory is an easy ... development platform for solving quadratic constraint satisfaction problems, written in Matlab. All implemented methods...
  • ToulBar2

  • Referenced in 21 articles [sw07289]
  • Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean...
  • SUNNY

  • Referenced in 11 articles [sw31800]
  • them for solving a given Constraint Satisfaction Problem (CSP). Motivated by the performance reached ... fields such as Answer Set Programming and Constraint Logic Programming...
  • Helios

  • Referenced in 11 articles [sw01440]
  • constraint logic programming language using constraint satisfaction and interval anal- ysis techniques and their efficiency...
  • RealPlan

  • Referenced in 9 articles [sw01619]
  • discrete resources is represented as a Constraint Satisfaction Problem (CSP) problem, and the planner ... efficiency. Moreover, the failure-driven learning of constraints can serve as an elegant and effective...
  • ezcsp

  • Referenced in 8 articles [sw27479]
  • solution to the constraint satisfaction problem (CSP) defined by such answer ... specified) as ASP solver and BProlog as constraint solver. To specify other solvers, run ”ezcsp...
  • ChainSAT

  • Referenced in 8 articles [sw09444]
  • Circumspect descent prevails in solving random constraint satisfaction problems. We study the performance of stochastic...
  • MGTP

  • Referenced in 7 articles [sw09701]
  • MGTP to deal with constraint satisfaction problems, enabling negative and interval constraint propagation, respectively...
  • FALCON

  • Referenced in 7 articles [sw21349]
  • finite models is viewed as a constraint satisfaction problem, with ground instances of the axioms...
  • ZetaSAT

  • Referenced in 7 articles [sw11459]
  • addresses specific issues arising when executing constraint satisfaction problems of the kind...
  • PAVER

  • Referenced in 7 articles [sw09249]
  • Global optimization and constraint satisfaction, lecture notes in computer science...