201 search results - page 24 / 41 » New Structural Decomposition Techniques for Constraint Satis... |
110
click to vote
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
112
click to vote
APPROX
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This work considers the problem of approximating fixed predicate constraint satisfaction problems (MAX k-CSP(P)). We show that if the set of assignments accepted by P co...
110
click to vote
SIGCSE
2006
ACM
15 years 7 months ago
2006
ACM
This paper describes a significant redesign of the introductory courses at the University of Washington that has led to increased enrollments, increased student satisfaction and a...
223
click to vote
CP
2009
Springer
16 years 2 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...
103
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...