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

DSpace Repository

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

Author: Darmann, Andreas; Doecker, Janosch
Tübinger Autor(en):
Döcker, Janosch
Published in: Theoretical Computer Science (2020), Bd. 815, S. 147-152
Verlagsangabe: Elsevier
Language: English
Full text: http://dx.doi.org/10.1016/j.tcs.2020.02.010
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)