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