• Choco

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

  • Referenced in 44 articles [sw08660]
  • with applications to MAX CUT and other problems. We present a tool, outward rotations ... simplest and most natural APX-complete constraint satisfaction problem (see, e.g., [AL97]). There are various...
  • CPlan

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

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

  • Referenced in 29 articles [sw10392]
  • include the generation of constraints for constraint satisfaction problems, the generation of lemmas for automated...
  • 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...
  • ToulBar2

  • Referenced in 22 articles [sw07289]
  • Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean...
  • 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...
  • BL data set

  • Referenced in 25 articles [sw08330]
  • Highly Cumulative Project Scheduling Problems. In recent years, constraint satisfaction techniques have been successfully applied ... area of “cumulative” scheduling. Multiple constraint propagation algorithms have been developed for cumulative resources...
  • 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...
  • 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]
  • proven on sequential systems, including several open problems in finite algebra. To enhance the pruning ... 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...
  • CALMA

  • Referenced in 105 articles [sw03235]
  • frequencies used is to be minimized. Problems of this type were investigated within the CALMA ... based on branch-and-cut and constraint satisfaction, and approximation techniques including a variety...
  • ZetaSAT

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

  • Referenced in 6 articles [sw03472]
  • constraint propagation for the BACP Constraint Satisfaction Problems (CSP) provide a modelling framework for many ... aided decision making problems. Many of these problems are associated to an optimization criterion. Solving ... values to the variables that satisfies the constraints and optimizes a given objective function...
  • meSAT

  • Referenced in 5 articles [sw29642]
  • approach for solving Constraint Satisfaction Problems (CSP) (and related Constraint Optimization Problems (COP)) involving integer...
  • ESY

  • Referenced in 5 articles [sw16177]
  • decision makers gain insight into the decision problem and clarify their preferences, guidance ... protective actions is seen as a constraint satisfaction problem; only those portfolios that satisfy constraints...