StringologyTimes
Data Structures and Algorithms: 2004/1/08-14
1:
Heuristic average-case analysis of the backtrack resolution of random 3-Satisfiability instances