LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem.

Junping Zhou, Jiaxin Liang, Minghao Yin, Bo He

Browse the full SAT paper archive.