Towards the Semantics of QBF Clauses

Martin Suda

doi:10.29007/mrj4

Download PDF Open PDF in browser

Towards the Semantics of QBF Clauses

EasyChair Preprint no. 361

4 pages•Date: July 20, 2018

Martin Suda

Abstract

Towards the Semantics of QBF Clauses

Keyphrases: QBF, Resolution Calculi, semantics

Links:	https://easychair.org/publications/preprint/JDdj
	https://doi.org/10.29007/mrj4

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 PDF Open PDF in browser