StringologyTimes
Data Structures and Algorithms: 2000/7/15-21
1:
On the satisfability of random k-Horn formulae