View-based propagator derivation

DOI10.1007/s10601-012-9133-zzbMath1328.68202arXiv0908.2050OpenAlexW2133364511MaRDI QIDQ2342586

Guido Tack, Christian Schulte

Publication date: 29 April 2015

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0908.2050

zbMATH Keywords

constraint propagationviewsconstraint solver implementationparametric propagators

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Global domain views for expressive and cross-domain constraint programming, Regular pattern-free coloring, A microkernel architecture for constraint programming, Generating custom propagators for arbitrary constraints, View-based propagation of decomposable constraints

Uses Software

• MiniSat
• Haskell
• CPLEX
• Mozart
• Choco
• Gecode
• CaSPER
• MINION
• SICStus
• OR-tools
• cc(FD)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consistency in networks of relations
• Constraint-based scheduling: Applying constraint programming to scheduling problems.
• Improving linear constraint propagation by changing constraint representation
• SICStus Prolog—The first 25 years
• On the Desirability of Acyclic Database Schemes
• Global Grammar Constraints
• Principles of Constraint Programming
• Design, implementation, and evaluation of the constraint language cc(FD)
• Theory and Applications of Satisfiability Testing
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems