@misc{indiciae12e8d7bab937,
  title = {Exact enumeration of satisfiable 2-SAT formulae},
  author = {Sergey Dovgal and Élie de Panafieu and Vlady Ravelomanana},
  year = {2022},
  url = {https://arxiv.org/abs/2108.08067},
  note = {Source identifier: 2108.08067}
}