CP
2006
Springer
15 years 7 months ago
2006
Springer
136
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
140
click to vote
FPL
2004
Springer
15 years 7 months ago
2004
Springer
Pervasive networks with low-cost embedded 8-bit processors are set to change our day-to-day life. Public-key cryptography provides crucial functionality to assure security which is...
115
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
The max k-armed bandit problem is a recently-introduced online optimization problem with practical applications to heuristic search. Given a set of k slot machines, each yielding p...
121
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...