TY  - RPRT
TI  - Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability
AU  - Antoine Genitrini
AU  - Cécile Mailler
PY  - 2015
UR  - https://arxiv.org/abs/1507.08448
ID  - 1507.08448
ER  -