Number of items: 1.
Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan
(2012).
Probabilistic Analysis of Random Mixed Horn Formulas.
Working Paper.
Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan
(2012).
Probabilistic Analysis of Random Mixed Horn Formulas.
Working Paper.