Arc and path consistence revisited
Artificial Intelligence
Constraint propagation with interval labels
Artificial Intelligence
Arc consistency for factorable relations
Artificial Intelligence
Synthesizing constraint expressions
Communications of the ACM
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Acceleration methods of numeric CSPc
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Global Hull Consistency with Local Search for Continuous Constraint Solving
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Approximation Techniques for Non-linear Problems with Continuum of Solutions
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Interval Constraints: Results and Perspectives
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Note on Partial Consistencies over Continuous Domains
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Constraint Programming Approach for Solving Rigid Geometric Systems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving Constraints over Floating-Point Numbers
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Modeling Camera Control with Constrained Hypertubes
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Declarative Modelling of Constraint Propagation Strategies
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Disjunction of Non-binary and Numeric Constraint Satisfaction Problems
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Box Consistency through Weak Box Consistency
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Evaluation and design: a knowledge-based approach
International Journal of Computer Integrated Manufacturing - Integrated Design of Product and Processes
A Branch and Bound Algorithm for Numerical MAX-CSP
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Exploiting Common Subexpressions in Numerical CSPs
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
ICOS: a branch and bound based solver for rigorous global optimization
Optimization Methods & Software - GLOBAL OPTIMIZATION
Enhancing numerical constraint propagation using multiple inclusion representations
Annals of Mathematics and Artificial Intelligence
Interval propagation and search on directed acyclic graphs for numerical constraint solving
Journal of Global Optimization
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Constraint reasoning in deep biomedical models
Artificial Intelligence in Medicine
An approach based on BDI architecture for space occupation
CIT'09 Proceedings of the 3rd International Conference on Communications and information technology
A unifying framework for hybrid planning and scheduling
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A constraint-based approach to camera path planning
SG'03 Proceedings of the 3rd international conference on Smart graphics
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Constructive interval disjunction
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Probabilistic constraints for reliability problems
Proceedings of the 2010 ACM Symposium on Applied Computing
Filtering numerical CSPs using well-constrained subsystems
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Hull consistency under monotonicity
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
The Knowledge Engineering Review
Numeric reasoning with relative orders of magnitude
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Beyond contention: extending texture-based scheduling heuristics
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Texture-based heuristics for scheduling revisited
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Effective redundant constraints for online scheduling
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Making adaptive an interval constraint propagation algorithm exploiting monotonicity
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
A safe and flexible CP-based approach for velocity tuning problems
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Finding the maximal pose error in robotic mechanical systems using constraint programming
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Controlling search in constrained-object models
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
The complexity of integer bound propagation
Journal of Artificial Intelligence Research
Engineering Applications of Artificial Intelligence
When interval analysis helps inter-block backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Using constraint programming for reconfiguration of electrical power distribution networks
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Safety verification of hybrid systems by constraint propagation based abstraction refinement
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Efficient pruning technique based on linear relaxations
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Inter-block backtracking: exploiting the structure in continuous CSPs
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Finite domain bounds consistency revisited
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Combining CSP and constraint-based mining for pattern discovery
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Engineering Applications of Artificial Intelligence
Boosting local consistency algorithms over floating-point numbers
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Adaptive bisection of numerical CSPs
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Refining abstract interpretation based value analysis with constraint programming techniques
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
A branch and prune algorithm for the computation of generalized aspects of parallel robots
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |
Many problems can be expressed in terms of a numeric constraint satisfaction problem over finite or continuous domains (numeric CSP). The purpose of this paper is to show that the consistency techniques that have been developed for CSPs can be adapted to numeric CSPs. Since the numeric domains are ordered the underlying idea is to handle domains only by their bounds. The semantics that have been elaborated, plus the complexity analysis and good experimental results, confirm that these techniques can be used in real applications.