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

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

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

ILOG SCHEDULE
 Referenced in 61 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 25 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...

Benchmarks
 Referenced in 24 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...

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

TSPTW
 Referenced in 35 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...

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

Cardinal
 Referenced in 10 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...

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

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

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

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

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

TCAS
 Referenced in 5 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...

CAMA
 Referenced in 4 articles
[sw07285]
 literalwatching scheme for Boolean constraint propagation (BCP), conflictbased learning with identifying the first...