| Codognet, P. & D. Diaz (2001). Yet another local search method for constraint solving. In: Proceedings of the 2001 International Symposium on Stochastic Algorithms (ISSA01), pp. 73--90. London, UK: Springer Verlag. |
....for new assignments. In non incremental solvers that do not support propagation, reversing erroneous instantiations can be performed locally by restoring an initial domain and trying another instantiation. This propagation free algorithm can be implemented quite eciently in local search approaches [5]. Local search is, however, not complete and can thus not be used to prove the non existence of solutions or to nd all solutions to a CSP. Dynamic constraint solvers like DJCHR [21] or the system J.CP we are going to describe in this paper do not require state restoration techniques for search ....
Philippe Codognet and Daniel Diaz. Yet another local search method for constraint solving. In Kathleen Steinhofel, editor, Proc. SAGA 2001.
....reversing erroneous instantiations can be performed locally by restoring an initial domain and trying another instantiation. This propagation free algorithm (generate and test) is very inecient with conventional search algorithms, but it can be implemented quite eciently in local search approaches [5]. Local search is, however, not complete and can thus not be used to prove the non existence of solutions or to nd all solutions to a CSP. Dynamic constraint solvers like our ACS implementation J.CP [14] or DJCHR [15] do not require state restoration techniques and are still applicable for ....
Philippe Codognet and Daniel Diaz. Yet another local search method for constraint solving. In Kathleen Steinhofel, editor, Proc. SAGA 2001.
No context found.
Codognet, P. & D. Diaz (2001). Yet another local search method for constraint solving. In: Proceedings of the 2001 International Symposium on Stochastic Algorithms (ISSA01), pp. 73--90. London, UK: Springer Verlag.
No context found.
Codognet, P. and D. Diaz (2001). Yet another local search method for constraint solving. In AAAI Symposium, North Falmouth, Massachusetts.
No context found.
Philippe Codognet and Daniel Diaz, "Yet another local search method for constraint solving," in AAAI Symposium, North Falmouth, Massachusetts, 2001.
No context found.
Philippe Codognet and Daniel Diaz, "Yet another local search method for constraint solving," in AAAI Symposium, North Falmouth, Massachusetts, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC