Open WIKI
Home
Sources
About
Contacts
⯈
☰
3-SAT
3-satisfiability problem
is a
computational problem
.