SAT Solving for Argument Filterings

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

Published in: CoRR (2006)

Keyphrases

sat solving
sat solvers
boolean satisfiability
boolean optimization
sat problem
search tree
genetic algorithm
sat encodings
satisfiability problem
max sat
propositional satisfiability