Login / Signup
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi.
Yoni Zohar
Anna Zamansky
Published in:
IJCAR (2016)
Keyphrases
</>
sequent calculi
search algorithm
sat solvers