235 search results - page 4 / 47 » An efficient consistency algorithm for the Temporal Constrai... |
142
Voted
CPAIOR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...
132
Voted
CONSTRAINTS
2006
15 years 3 months ago
2006
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, s...
130
click to vote
FLAIRS
2004
15 years 4 months ago
2004
Constraint satisfaction technology emerged from AI research. Its practical success is based on integration of sophisticated search with consistency techniques reducing the search ...
124
Voted
AAAI
2004
15 years 4 months ago
2004
The concept of consistency has pervaded studies of the constraint satisfaction problem. We introduce two concepts, which are inspired by consistency, for the more general framewor...
154
Voted
CP
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents DisAC-9, the first optimal distributed algorithm performing the arc-consistency of a constraint network. Our method is optimal according to the number of messa...