391 search results - page 46 / 79 » Locally Consistent Constraint Satisfaction Problems with Bin... |
120
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
132
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Knockout tournaments constitute a common format of sporting events, and also model a specific type of election scheme (namely, sequential pairwise elimination election). In such ...
148
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-a...
154
Voted
JAIR
2011
15 years 3 days ago
2011
Bound propagation is an important Artificial Intelligence technique used in Constraint Programming tools to deal with numerical constraints. It is typically embedded within a sea...
154
Voted
AAAI
2006
15 years 6 months ago
2006
Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be convenien...