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

dc.contributor.author	Dorn, Britta
dc.contributor.author	Döcker, Janosch
dc.date.accessioned	2020-09-08T13:14:30Z
dc.date.available	2020-09-08T13:14:30Z
dc.date.issued	2020
dc.identifier.issn	1879-2294
dc.identifier.uri	http://hdl.handle.net/10900/106459
dc.language.iso	en	de_DE
dc.publisher	Elsevier	de_DE
dc.relation.uri	http://dx.doi.org/10.1016/j.tcs.2020.04.003	de_DE
dc.subject.ddc	004	de_DE
dc.title	Placing quantified variants of 3-SAT and NOT-ALL-EQUAL 3-SAT in the polynomial hierarchy	de_DE
dc.type	Article	de_DE
utue.quellen.id	20200715072417_00106
utue.publikation.seiten	72-91	de_DE
utue.personen.roh	Doecker, Janosch
utue.personen.roh	Dorn, Britta
utue.personen.roh	Linz, Simone
utue.personen.roh	Semple, Charles
dcterms.isPartOf.ZSTitelID	Theoretical Computer Science	de_DE
dcterms.isPartOf.ZS-Volume	822	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE