On Diverse Solutions to Max-k-CSP and Bounded Degree k-SAT

Mayank Goswami, Adarsh Srinivasan

We study the problem of generating diverse solutions to Max-$k$-CSP and bounded-degree $k$-SAT, focusing on two distinct metrics: constraint diversity and variable diversity. For c…