Probabilistic Analysis of Random Mixed Horn Formulas

Konferenzbeitrag › Konferenzpaper › 2014

Zitation

Wotzlaw, A., Speckenmeyer, E., Porschen, Stefan: Probabilistic Analysis of Random Mixed Horn Formulas. In: Accepted Papers ISAIM 2014. Hg. von University Illinois at Chicago. Chucago, USA: 2014, S. 1-5.

Link

http://www.cs.uic.edu/bin/view/Isaim2014/AcceptedPapers

Zitieren

BibTeX / RIS