Sat solving for argument filterings (2006)

by Michael Codish , Vitaly Lagoon , René Thiemann , Jürgen Giesl
Venue:In Logic for Programming, Artificial Intelligence and Reasoning (LPAR
Citations:15 - 9 self