SAT-Based Decision Procedure for Analytic Pure Sequent Calculi.

Ori Lahav Yoni Zohar

Published in: IJCAR (2014)

Keyphrases

sequent calculi
decision making
decision problems
answer set programming
sat solvers
version space
general purpose
answer sets
bounded model checking