@misc{indiciae0c729ebf5678,
  title = {CNFs and DNFs with Exactly \$k\$ Solutions},
  author = {L. Sunil Chandran and Rishikesh Gajjala and Kuldeep S. Meel},
  year = {2025},
  doi = {10.4230/lipics.sat.2025.9},
  url = {https://arxiv.org/abs/2506.07268},
  note = {Source identifier: 2506.07268}
}