Rudolf Adamkovič
Personal site
Up:
Index of computer science
[
Top
]
[
Contents
]
3-satisfiability (3SAT)
A special case of
SAT
with
exactly three literals per clause.
The problem is
NP-complete
.
Explore
© 2024 Rudolf Adamkovič under
GNU General Public License
version 3.
Made with
Emacs
and
the
secret alien technologies of yesteryear.