On the Parameterized Complexity of Diverse SAT

Neeldhara Misra, Harshil Mittal, Ashutosh Rai

We study the Boolean Satisfiability problem (SAT) in the framework of diversity, where one asks for multiple solutions that are mutually far apart (i.e., sufficiently dissimilar fr…