19 citations · 66 across the 10 of their papers we have counts for
1 paper · 1 filter
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…