4117 search results - page 172 / 824 » On the Satisfiability of Complex Constraints |
190
click to vote
PATAT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract The Examination Timetabling problem regards the scheduling for the exams of a set of university courses, avoiding the overlapping of exams having students in common, fairl...
170
click to vote
JVCA
2008
15 years 6 months ago
2008
We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...
184
click to vote
SIAMCO
2008
15 years 6 months ago
2008
A class of optimal control problem for a semilinear elliptic partial differential equation with control constraints is considered. It is well known that sufficient second-order con...
125
click to vote
TODAES
2008
15 years 6 months ago
2008
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing...
282
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
The ALLDIFFERENT constraint was one of the first global constraints [17] and it enforces the conjunction of one binary constraint, the not-equal constraint, for every pair of varia...