Towards "Propagation = Logic + Control"

Sebastian Brand, Roland H. C. Yap

Constraint propagation algorithms implement logical inference. For efficiency, it is essential to control whether and in what order basic inference steps are taken. We provide a hi…