Random Horn Formulas and Propagation Connectivity for Directed Hypergraphs.

Published in: Discret. Math. Theor. Comput. Sci. (2012)

Keyphrases