400 search results - page 15 / 80 » Backtracking |
EUROMICRO
2004
IEEE
14 years 1 months ago
2004
IEEE
A common challenge in the development of web applications today lies in the handling of unforeseen navigation steps initiated by the user through the browser's Back, Forward ...
CP
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Researchers have focused on assessing the quality of search algorithms by measuring effort, number of mistakes, runtime distributions and other characteristics. In this p...
AIMSA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Constraint Satisfaction has been widely used to model static combinatorial problems. However, many AI problems are dynamic and take place in a distributed environment, i....
ARCS
2008
Springer
13 years 11 months ago
2008
Springer
CPAIOR
2008
Springer
13 years 11 months ago
2008
Springer
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...