15 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
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)…