Chapter 4.14
Constraint Salification Problem

1. SAT:
2. 3-SAT: Given boolean formula in 3-CNF form. Does there exist an assignment for Φ such that Φ ≡ T
3. 0-1 Linear Programming: Given a matrix of constraint coefficient, and an integer b. There exists a n-vector with elements in the set {0,1}, such that A ⋅ x_i ≤ b1 ≤ i ≤ n.