EasyChair Smart Slide
LS-DTKMS: a Local Search Algorithm for Diversified Top-K MaxSAT Problem
LS-DTKMS: a Local Search Algorithm for Diversified Top-K MaxSAT Problem