330 search results - page 10 / 66 » Diagnosing and Solving Over-Determined Constraint Satisfacti... |
115
click to vote
AI
2001
Springer
15 years 4 months ago
2001
Springer
In recent years, interval constraint-based solvers have shown their ability to efficiently solve challenging non-linear real constraint problems. However, most of the working syst...
114
Voted
ICDCS
2000
IEEE
15 years 4 months ago
2000
IEEE
We present resolvent-based learning as a new nogood learning method for a distributed constraint satisfaction algorithm. This method is based on a look-back technique in constrain...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
99
Voted
CP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
158
click to vote
IJIT
2004
15 years 1 months ago
2004
Cryptarithmetic problem is an interesting constraint satisfaction problem for which different algorithms have been given. But none of them can solve the problem intelligently using...