17 Mar 2005
CS 3243 - Logical Inference
11
Hard satisfiability problems
n
Median runtime for 100
satisfiable
random 3-CNF
sentences,
n
= 50
