Image by kalhh on Pixabay · Pixabay License
3-satisfiability problem
Sign in to saveAlso known as 3-SAT, 3CNFSAT, 3-satisfiability, 3SAT
REDIRECT Boolean satisfiability problem#3-satisfiability
~1 min read
Encyclopedic overview
REDIRECT Boolean satisfiability problem#3-satisfiability
Excerpted from Wikipedia’s “3-satisfiability problem” article, available under the CC BY-SA 4.0 licence.