![](/img/cover-not-exists.png)
Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability
Genitrini, Antoine, Mailler, CécileLanguage:
english
Journal:
Algorithmica
DOI:
10.1007/s00453-016-0113-3
Date:
January, 2016
File:
PDF, 736 KB
english, 2016