Exact Approaches for the Diverse Satisfiability Problem.

Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang

Browse the full JELIA paper archive.