
Choco
 Referenced in 64 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 APXcomplete 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 51 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 26 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...

GLOPTLAB
 Referenced in 16 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 22 articles
[sw07289]
 Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted MaxSAT, Quadratic PseudoBoolean...

BL data set
 Referenced in 26 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...

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

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

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

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

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