research
∙
08/18/2021
Exact enumeration of satisfiable 2-SAT formulae
We obtain exact expressions counting the satisfiable 2-SAT formulae and ...
research
∙
06/07/2021