Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract).

Jiaxin Liang, Junping Zhou, Minghao Yin

Browse the full AAAI paper archive.