TY  - RPRT
TI  - CNFs and DNFs with Exactly $k$ Solutions
AU  - L. Sunil Chandran
AU  - Rishikesh Gajjala
AU  - Kuldeep S. Meel
PY  - 2025
DO  - 10.4230/lipics.sat.2025.9
UR  - https://arxiv.org/abs/2506.07268
ID  - 2506.07268
ER  -