Algorithms for the Diverse-k-SAT Problem: The Geometry of Satisfying Assignments.

Per Austrin, Ioana O. Bercea, Mayank Goswami, Nutan Limaye, Adarsh Srinivasan

Browse the full ICALP paper archive.