15 citations · 15 across the 1 of their papers we have counts for
2 papers
cs.LO2014★ 15 cited
Grounding FO and FO(ID) with Bounds
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning syst…
cs.LO2011
Lifted Unit Propagation for Effective Grounding
Pashootan Vaezipoor, David Mitchell, Maarten Mariën
A grounding of a formula over a given finite domain is a ground formula which is equivalent to on that domain. Very effective propositional solvers have made grounding-base…