2725 search results - page 203 / 545 » Constraint Solving for Interpolation |
123
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
132
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
The Disjunctive Temporal Problem with Uncertainty (DTPU) is an extension of the Disjunctive Temporal Problem (DTP) that accounts for events not under the control of the executing a...
116
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
124
Voted
ICTAI
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional global search heuristics to solve constraint satisfaction problems focus on properties of an individual variable that mandate early search attention. If, however, one ...
136
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...