18 and 25 Feb 2004
CS 3243 - Logical Agents
70
Hard satisfiability problems
n
Median runtime for 100
satisfiable
random 3-CNF
sentences,
n
= 50
