Constrainedness
Constrainedness Including slides from Toby Walsh.
600.325/425 Declarative Methods - J. Eisner 1 Random 3-SAT sample uniformly from space of all possible 3- clauses n variables, l clauses Which are.
Search for satisfaction