Author:Martina Seidl
Keyphrasesautomated reasoning, automated theorem proving, blocked clauses, clause elimination, Effectively Propositional Logic, encoding, EPR, first-order logic, Preprocessing, QBF, Quantified Boolean Formulas, SAT. |
| ||||
| ||||
| Copyright © 2012-2018 easychair.org. All rights reserved. |