DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem.

Jiaxin Liang, Junping Zhou, Minghao Yin

Browse the full AAAI paper archive.