4117 search results - page 96 / 824 » On the Satisfiability of Complex Constraints |
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We study decompositions of the global NVALUE constraint. Our main contribution is theoretical: we show that there are propagators for global constraints like NVALUE which decomposi...
166
click to vote
ICTAI
2006
IEEE
16 years 12 days ago
2006
IEEE
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...
169
click to vote
CDVE
2005
Springer
15 years 11 months ago
2005
Springer
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...
149
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper discusses a design methodology of cooperative trajectory generation for multi-robot systems. The trajectory of achieving cooperative tasks, i.e., with temporal constrai...
156
click to vote
IADIS
2003
15 years 7 months ago
2003
We present an Information Customization framework, which offers a unique hybrid of Adaptive Hypermedia and Constraint Satisfaction methods. IC is being modelled as a constraint sa...