SAT Solving for Argument Filterings.

Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, Ren Thiemann, Jrgen Giesl

Browse the full LPAR paper archive.