51 citations · 96 across the 12 of their papers we have counts for
1 paper · 2 filters
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…