Placing quantified variants of 3-SAT and NOT-ALL-EQUAL 3-SAT in the polynomial hierarchy

DSpace Repository

Placing quantified variants of 3-SAT and NOT-ALL-EQUAL 3-SAT in the polynomial hierarchy

Author: Doecker, Janosch; Dorn, Britta; Linz, Simone; Semple, Charles
Tübinger Autor(en):
Dorn, Britta
Döcker, Janosch
Published in: Theoretical Computer Science (2020), Bd. 822, S. 72-91
Verlagsangabe: Elsevier
Language: English
Full text: http://dx.doi.org/10.1016/j.tcs.2020.04.003
ISSN: 1879-2294
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)