The top documents tagged [algorithm walksat slide]