On a simple hard variant of NOT-ALL-EQUAL 3-Sat

DSpace Repositorium (Manakin basiert)

On a simple hard variant of NOT-ALL-EQUAL 3-Sat

Autor(en): Darmann, Andreas; Doecker, Janosch
Tübinger Autor(en):
Döcker, Janosch
Erschienen in: Theoretical Computer Science (2020), Bd. 815, S. 147-152
Verlagsangabe: Elsevier
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1016/j.tcs.2020.02.010
ISSN: 1879-2294
DDC-Klassifikation: 004 - Informatik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: