StringologyTimes
Data Structures and Algorithms: 2003/1/15-21
1:
Some remarks on the survey decimation algorithm for K-satisfiability