326
click to vote
CP
16 years 7 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...
307
Voted
CP
16 years 7 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...
188
Voted
CP
15 years 10 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...
297
click to vote
CP
16 years 7 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 ...
289
Voted
CP
16 years 7 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