Towards the Semantics of QBF Clauses
Author: Martin Suda
Paper Information
| Title: | Towards the Semantics of QBF Clauses |
| Authors: | Martin Suda |
| Proceedings: | QBF Contributed Papers |
| Editor: | Martina Seidl |
| Keywords: | QBF, resolution calculi, semantics |
| Abstract: | ABSTRACT. Towards the Semantics of QBF Clauses |
| Pages: | 4 |
| Talk: | Jul 08 10:00 (Session 34L: Joint QBF / Proof Complexity session) |
| Paper: |  |