Probabilistic Analysis of Random Mixed Horn Formulas.

Andreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen

Browse the full ISAIM paper archive.