Towards the Semantics of QBF Clauses

EasyChair Preprint 361

4 pages•Date: July 20, 2018

Abstract

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},
  doi       = {10.29007/mrj4},
  howpublished = {EasyChair Preprint 361},
  year      = {EasyChair, 2018}}

Download PDF Open PDF in browser