Refining the Basic Constraint Propagation Algorithm

Christian Bessière, Jean-Charles Régin. Refining the Basic Constraint Propagation Algorithm. In Philippe Codognet, editor, Programmation en logique avec contraintes, Actes des JFPLC 2001, 24 avril - 27 avril 2001, Cité des sciences et de l industrie, Paris. pages 13-26, Hermes, 2001.

Abstract

Abstract is missing.