@misc{indiciaed56fe1547f68,
  title = {A Graphical \#SAT Algorithm for Formulae with Small Clause Density},
  author = {Tuomas Laakkonen and Konstantinos Meichanetzidis and John van de Wetering},
  year = {2024},
  doi = {10.4204/eptcs.406.7},
  url = {https://arxiv.org/abs/2212.08048},
  note = {Source identifier: 2212.08048}
}