Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis.

Furong Ye, Chuan Luo, Shaowei Cai

Browse the full AAAI paper archive.