Franco, John
Probabilistic analysis of algorithms, polynomial time solvable subclasses of satisfiability.

No queries for www.ece.uc.edu/~franco