1 citations · 1 across the 8 of their papers we have counts for
1 paper · 1 filter
Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1
Grounding, the translation of high-level theories into equivalent quantifier-free formulas, is a crucial step in declarative solving, yet it has so far escaped the proof-logging re…