Extending consistent domains of numeric CSP (original) (raw)
Related papers
A branch and bound algorithm for numerical Max-CSP
Jean-Marie Normand, Frédéric Benhamou
Constraints, 2010
Consistency techniques for numeric CSPs
Exploration of a solution space structured by finite constraints
ECAI 14th European …, 2000
A Decomposition Technique for Solving {Max-CSP}
Sub-domain Selection Strategies For Floating Point Constraint Systems
2018
Lazard's CAD exploiting equality constraints
ACM Communications in Computer Algebra, 2019
Dynamic domain splitting for numeric csp
European Conference on Artificial Intelligence, 1998
Domain Reduction for Valued Constraints by Generalising Methods from CSP
Principles and Practice of Constraint Programming, 2018
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs
Lecture Notes in Computer Science, 2007
Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem
1996
Maintaining Global Hull Consistency With Local Search for Continuous CSPs
Global Optimization and Constraint Satisfaction, 2003
Numeric Bounds Analysis with Conflict-Driven Learning⋆
2012
Analytical models for CSP problems
Proceedings 2002 IEEE International Conference on Artificial Intelligence Systems (ICAIS 2002)
The Potential and Challenges of CAD with Equational Constraints for SC-Square
ArXiv, 2017
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
Theory and Practice of Logic Programming, 2009
A Decomposition Technique for Max-CSP
European Conference on Artificial Intelligence, 2008
Declarative Numerical Analysis: an Interval Constraint-based Approach
1999
Reasoning on the properties of numerical constraints
The design of COMMA: An extensible framework for mapping constrained objects to native solver models
2007
On the cooperation of the constraint domains , ℛ, and ℱ in CFLP
Theory and Practice of Logic Programming, 2009
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game
2011
A systematic approach to MDD-based constraint programming
Principles and Practice of Constraint Programming, 2010
Constraints in constructive solid geometry
Proceedings of the 1986 workshop on Interactive 3D graphics - SI3D '86, 1987
Decomposition plans for geometric constraint systems, Part I: Performance measures for CAD
Journal of Symbolic …, 2001