211
click to vote
CP
16 years 1 months ago
2009 Springer 
We propose two new asynchronous algorithms for solving Distributed Constraint Satisfaction Problems (DisCSPs). The first algorithm, AFC-ng, is a nogood-based version of Asynchronou...
207
Voted
CP
16 years 1 months ago
2009 Springer
This paper presents a new way of formalizing the Coalition Structure Generation problem (CSG), so that we can apply constraint optimization techniques to it. Forming effective coal...
120
Voted
CP
15 years 3 months ago
2009 Springer 
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
187
Voted
CP
16 years 1 months ago
2009 Springer 
The most popular architecture for parallel search is work stealing: threads that have run out of work (nodes to be searched) steal from threads that still have work. Work stealing ...
196
click to vote
CP
16 years 1 months ago
2009 Springer
We introduce a new approach to approximating weighted Max-SAT problems that is based on simplifying a given instance, and then tightening the approximation. First, we relax its str...
|
Artificial Intelligence