• 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 propagation-a 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 fixed-point 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 multi-way local propagation constraint solver for user interface construction Many user interface ... maintaining constraints is multi-way 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 event-based 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]...
  • CLPS-B

  • 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 non-determinism 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, non-Horn 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 set-propagation, reach-set 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...