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

Choco
 Referenced in 58 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 40 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 26 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...

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

ToulBar2
 Referenced in 8 articles
[sw07289]
 ToulBar2 is an open source weighted constraint satisfaction solver. ToulBar2 is a C++ rewriting...

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

ezcsp
 Referenced in 7 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...

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

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

Quaffle
 Referenced in 62 articles
[sw07278]
 Malik, ”Towards Symmetric Treatment of Conflicts And Satisfaction in Quantified Boolean Satisfiability Solver”, Proceedings ... International Conference on Principles and Practice of Constraint Programming (CP2002). Ithaca, NY, Sept...