the fast - forward planning system .
Hard and Easy Distributions of SAT Problems