StringologyTimes
Data Structures and Algorithms: 2005/11/15-21
1:
A polynomial-time heuristic for Circuit-SAT