On the Parameterized Complexity of Diverse SAT.

Neeldhara Misra, Harshil Mittal, Ashutosh Rai

Browse the full ISAAC paper archive.