Author:Benjamin Kiesl
Keyphrasesautomated reasoning2, automated theorem proving, blocked clauses, calculi, clause elimination, first-order logic2, Preprocessing, proofs, QBF, SAT, satisfiability. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |