Short Proofs for Some Symmetric Quantified Boolean Formulas

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	4-7
Number of pages	4
Journal	Information Processing Letters
Volume	140
DOIs	https://doi.org/10.1016/j.ipl.2018.07.009
Publication status	Published - Dec 2018

Fields of science

@article{0f9121ae6cc846538b9bfd800c2b2149,

title = "Short Proofs for Some Symmetric Quantified Boolean Formulas",

author = "Manuel Kauers and Martina Seidl",

year = "2018",

month = dec,

doi = "10.1016/j.ipl.2018.07.009",

language = "English",

volume = "140",

pages = "4--7",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier Science B.V.",

}

TY - JOUR

T1 - Short Proofs for Some Symmetric Quantified Boolean Formulas

AU - Kauers, Manuel

AU - Seidl, Martina

PY - 2018/12

Y1 - 2018/12

UR - https://www.scopus.com/pages/publications/85050872396

U2 - 10.1016/j.ipl.2018.07.009

DO - 10.1016/j.ipl.2018.07.009

M3 - Article

SN - 0020-0190

VL - 140

SP - 4

EP - 7

JO - Information Processing Letters

JF - Information Processing Letters

ER -