Download PDFOpen PDF in browser

Towards the Semantics of QBF Clauses

EasyChair Preprint no. 361

4 pagesPublished: July 20, 2018

Abstract

Towards the Semantics of QBF Clauses

Keyphrases: QBF, Resolution Calculi, semantics

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:361,
  author = {Martin Suda},
  title = {Towards the Semantics of QBF Clauses},
  howpublished = {EasyChair Preprint no. 361},
  doi = {10.29007/mrj4},
  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser