25 February 2004
CS 3243 - Logical Agents (part 2)
36
Hard satisfiability problems
n
Median runtime for 100
satisfiable
random 3-CNF
sentences,
n
= 50
