The relative complexity of NP search problems
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
The Undecidability of the Existence of Zeros of Real Elementary Functions
Journal of the ACM (JACM)
Revising hull and box consistency
Proceedings of the 1999 international conference on Logic programming
Approximation Techniques for Non-linear Problems with Continuum of Solutions
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Extending Consistent Domains of Numeric CSP
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Hybrid backtracking bounded by tree-decomposition of constraint networks
Artificial Intelligence
Metaheuristics in combinatorial optimization: Overview and conceptual comparison
ACM Computing Surveys (CSUR)
Generative constraint-based configuration of large technical systems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A classification and constraint-based framework for configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Inner and outer approximations of existentially quantified equality constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
When interval analysis helps inter-block backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
A hyperheuristic approach for dynamic enumeration strategy selection in constraint satisfaction
IWINAC'11 Proceedings of the 4th international conference on Interplay between natural and artificial computation: new challenges on bioinspired applications - Volume Part II
Engineering Applications of Artificial Intelligence
Arc-elasticity and hierarchical exploration of the neighborhood of solutions in mechanical design
Advanced Engineering Informatics
Engineering Applications of Artificial Intelligence
Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
Embodiment design (ED) is an early phase of product development. ED problems consist of finding solution principles that satisfy product requirements such as physics behaviors and interactions between components. Constraint satisfaction techniques are useful to solve constraint-based models that are often partial, heterogeneous, and uncertain in ED. This paper proposes new constraint satisfaction techniques to tackle piecewise-defined physics phenomena or skill-based rules and multiple categories of variables arising in design applications. New search heuristics and a global piecewise constraint are introduced in the branch and prune framework. The capabilities of these techniques are illustrated with both academic and real-world problems. Complete models of the latter are presented.