An even simpler hard variant of Not-All-Equal 3-SAT

DSpace Repository

An even simpler hard variant of Not-All-Equal 3-SAT

Author: Darmann, Andreas; Döcker, Janosch; Dorn, Britta
Tübinger Autor(en):
Dorn, Britta
Issue year: 2024-12-05
Verlagsangabe: arXiv
Language: English
Full text: https://doi.org/10.48550/arXiv.2412.03395
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Preprint
Show full item record

This item appears in the following Collection(s)