Sciweavers

1300 search results - page 13 / 260
» Constraint satisfaction problems and global cardinality cons...
Sort
View
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
15 years 1 months ago
Constraint-Based Timetabling-A Case Study
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
Abdulwahed M. Abbas, Edward P. K. Tsang
STOC
2006
ACM
100views Algorithms» more  STOC 2006»
15 years 10 months ago
On the solution-space geometry of random constraint satisfaction problems
Dimitris Achlioptas, Federico Ricci-Tersenghi
FLAIRS
2008
14 years 12 months ago
Reformulating Constraint Models for Classical Planning
Constraint satisfaction techniques are commonly used for solving scheduling problems, still they are rare in AI planning. Although there are several attempts to apply constraint s...
Roman Barták, Daniel Toropila
AI
2007
Springer
15 years 3 months ago
Multiagent Constraint Satisfaction with Multiply Sectioned Constraint Networks
Abstract. Variables and constraints in problem domains are often distributed. These distributed constraint satisfaction problems (DCSPs) lend themselves to multiagent solutions. Mo...
Yang Xiang, Wanling Zhang
DAGSTUHL
2008
14 years 11 months ago
Dualities for Constraint Satisfaction Problems
In a nutshell, a duality for a constraint satisfaction problem equates the existence of one homomorphism to the non-existence of other homomorphisms. In this survey paper, we give ...
Andrei A. Bulatov, Andrei A. Krokhin, Benoit Laros...