Michael Codish Peter Schneider-Kamp Vitaly Lagoon René Thiemann Jürgen Giesl SAT Solving for Argument Filterings http://arxiv.org/abs/cs/0605074 2006 CoRR abs/cs/0605074 db/journals/corr/corr0605.html#abs-cs-0605074 informal publication