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

Autor(en):

Doecker, Janosch; Dorn, Britta; Linz, Simone; Semple, Charles

Tübinger Autor(en):

Erschienen in:

Theoretical Computer Science (2020), Bd. 822, S. 72-91

Verlagsangabe:

Elsevier

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1879-2294

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: