lisa-cushing documents

Heuristics for Efficient SAT Solving As implemented in GRASP, Chaff and GSAT
Documents Heuristics for Efficient SAT Solving As implemented in GRASP, Chaff and GSAT