SAT Solving for Argument Filterings.

Michael Codish Peter Schneider-Kamp Vitaly Lagoon René Thiemann Jürgen Giesl

Published in: LPAR (2006)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
constraint satisfaction
clause learning
computational complexity
information retrieval systems