955 search results - page 29 / 191 » A System for Solving Constraint Satisfaction Problems with S... |
171
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
We formulate the problem of computing equilibria in multiplayer games represented by arbitrary undirected graphs as a constraint satisfaction problem and present two algorithms. T...
194
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
166
click to vote
SIGITE
2006
ACM
16 years 16 days ago
2006
ACM
Delivery of content in networking and system administration curricula involves significant hands-on laboratory experience supplementing traditional classroom instruction at the Ro...
181
Voted
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
167
Voted
AI
2002
Springer
15 years 6 months ago
2002
Springer
This paper presents a multi-agent oriented method for solving CSPs (Constraint Satisfaction Problems). In this method, distributed agents represent variables and a two-dimensional...