SAT-Based Formula Simplification.

Alexey Ignatiev Alessandro Previti João Marques-Silva

Published in: SAT (2015)

Keyphrases

bounded model checking
linear temporal logic
answer set programming
sat solvers
constraint solver
orders of magnitude
answer sets
ai planning
boolean formula
data sets
model checking
planning domains
boolean satisfiability