
Chaff
 Referenced in 542 articles
[sw06916]
 particularly efficient implementation of Boolean constraint propagation (BCP) and a novel low overhead decision strategy...

BARON
 Referenced in 266 articles
[sw00066]
 derives its name from its combining constraint propagation, interval analysis, and duality in its reduce...

FEASPUMP
 Referenced in 107 articles
[sw04802]
 like procedure based on rounding and constraint propagationa basic tool in Constraint Programming. Extensive...

ILOG SCHEDULE
 Referenced in 57 articles
[sw21243]
 much as highly optimised constraint propagation procedures are now available; extensible as the consideration...

RealPaver
 Referenced in 50 articles
[sw04401]
 various fields: interval fixedpoint operators, constraint propagation and local consistency techniques, local optimization using...

BL data set
 Referenced in 24 articles
[sw08330]
 Constraint Propagation and Decomposition Techniques for Highly Disjunctive and Highly Cumulative Project Scheduling Problems ... recent years, constraint satisfaction techniques have been successfully applied to â€śdisjunctiveâ€ť scheduling problems, i.e., scheduling ... area of â€ścumulativeâ€ť scheduling. Multiple constraint propagation algorithms have been developed for cumulative resources ... effectively execute in parallel. New constraint propagation and problem decomposition techniques are introduced with this...

GlobSol
 Referenced in 37 articles
[sw06724]
 from interval analysis, automatic differentiation, and constraint propagation to provide verified solutions to unconstrained...

Benchmarks
 Referenced in 22 articles
[sw04612]
 Safety verification of hybrid systems by constraint propagation based abstraction refinement This paper deals with ... additional refinement step that employs constraint propagation to add information to the abstraction without introducing ... unsafe states to be described by complex constraints instead of sets that correspond to grid ... which one can run any constraint propagation based solver. First tests of such an implementation...

TSPTW
 Referenced in 33 articles
[sw04709]
 solving the TSPTW that merges Constraint Programming propagation algorithms for the feasibility viewpoint (find ... Operations Research optimization techniques embedded in global constraints, and Constraint Programming constraint solving techniques, makes...

Skyblue
 Referenced in 9 articles
[sw07280]
 Skyblue: a multiway local propagation constraint solver for user interface construction Many user interface ... maintaining constraints is multiway local propagation, where constraints are represented by sets of method ... satisfy a set of constraints, a local propagation solver executes one method from each constraint.SkyBlue ... incremental constraint solver that uses local propagation to maintain a set of constraints as individual...

IbexOpt
 Referenced in 13 articles
[sw12331]
 Exploiting monotonicity in interval constraint propagation...

Choco
 Referenced in 57 articles
[sw06254]
 constraint programming (CP). It is built on a eventbased propagation mechanism with backtrackable structures...

Cardinal
 Referenced in 8 articles
[sw06999]
 rewriting rules on a constraint store and we illustrate its efficiency with experimental ... results. We show the importance of propagating constraints on sets cardinality, by comparing Cardinal with ... uses a more limited amount of constraint propagation on cardinalities. Additionally, to further extend modelling ... efficiency, we generalized Cardinal to actively consider constraints over set functions other than cardinality...

BACP
 Referenced in 6 articles
[sw03472]
 Hybridization of genetic algorithms and constraint propagation for the BACP Constraint Satisfaction Problems (CSP) provide ... hybridization of local search and constraint propagationâ€ť, Lect. Notes Comput ... Workshop of the ERCIM WG on Constraints, 12 p. (2001), available at http://arxiv.org/abs/cs/0110007v1]...

CLPSB
 Referenced in 6 articles
[sw00132]
 constraint domains, consistency verification and constraint propagation. It is more powerful than most constraint systems ... level of abstraction. The constrained state propagates the nondeterminism of the B specifications...

STR2
 Referenced in 9 articles
[sw14873]
 algorithms have been proposed to propagate table constraints and/or to compress their representation. In this...

MGTP
 Referenced in 6 articles
[sw09701]
 satisfaction problems, enabling negative and interval constraint propagation, respectively, nonHorn magic set to suppress...

TCAS
 Referenced in 4 articles
[sw21413]
 dedicated constraint solving procedure that combines constraint propagation with Linear Programming to solve conditional disjunctive...

SPeeDI
 Referenced in 7 articles
[sw00896]
 procedures resort to (forward or backward) propagation of constraints, typically (unions of convex) polyhedra ... Maybe the major drawback of setpropagation, reachset approximation procedures is that they...

coco_gop_ex
 Referenced in 4 articles
[sw10850]
 algorithmic elements (inclusion/exclusion boxes, local search, constraint propagation). This resulted in a substantial performance increase...