Exact enumeration of satisfiable 2-SAT formulae - Dovgal, Sergey; De Panafieu, Élie; Ravelomanana, Vlady (Combinatorial theory, 2023)