15 citations · 22 across the 4 of their papers we have counts for
1 paper · 2 filters
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Constraint propagation is one of the basic forms of inference in many logic-based reasoning systems. In this paper, we investigate constraint propagation for first-order logic (FO)…