StringologyTimes
Data Structures and Algorithms: 1999/12/01-07
1:
The phase transition in random Horn satisfiability and its algorithmic implications