
CALMA
 Referenced in 105 articles
[sw03235]
 based on branchandcut and constraint satisfaction, and approximation techniques including a variety...

Choco
 Referenced in 62 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 APXcomplete 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 MaxCSP. 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...

ToulBar2
 Referenced in 22 articles
[sw07289]
 Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted MaxSAT, Quadratic PseudoBoolean...

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

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 failuredriven learning of constraints can serve as an elegant and effective...

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

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

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

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