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