TY  - RPRT
TI  - Exact enumeration of satisfiable 2-SAT formulae
AU  - Sergey Dovgal
AU  - Élie de Panafieu
AU  - Vlady Ravelomanana
PY  - 2022
UR  - https://arxiv.org/abs/2108.08067
ID  - 2108.08067
ER  -