Short Proofs for Some Symmetric Quantified Boolean Formulas

Research output: Working paper and reports › Preprint

Original language	English
Number of pages	4
DOIs	https://doi.org/10.48550/arXiv.1804.01437
Publication status	Published - 2018

Publication series

Name	arXiv.org
No.	1804.01437
ISSN (Print)	2331-8422

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101013 Mathematical logic
102031 Theoretical computer science

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Access to Document

10.48550/arXiv.1804.01437

Cite this