@Inproceedings{EPTCS406.7,
  author    = {Laakkonen, Tuomas and Meichanetzidis, Konstantinos and van de Wetering, John},
  year      = {2024},
  title     = {A Graphical \#SAT Algorithm for Formulae with Small Clause Density},
  editor    = {D\'iaz-Caro, Alejandro and Zamdzhiev, Vladimir},
  booktitle = {{\rm Proceedings of the 21st International Conference on}
               Quantum Physics and Logic,
               {\rm Buenos Aires, Argentina, July 15-19, 2024}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {406},
  publisher = {Open Publishing Association},
  pages     = {137-161},
  doi       = {10.4204/EPTCS.406.7},
}