Boolean satisfiability problem
cosmos
28th November 2017 at 10:48pm
Constraint satisfaction problem
video
Not NP-complete when 2-term CNF
Random satisfiability problems