TY  - RPRT
TI  - On the Parameterized Complexity of Diverse SAT
AU  - Neeldhara Misra
AU  - Harshil Mittal
AU  - Ashutosh Rai
PY  - 2024
UR  - https://arxiv.org/abs/2412.09717
ID  - 2412.09717
ER  -