Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability.

Yi Chu, Chuan Luo, Wenxuan Huang, Haihang You, Dongrui Fan

Browse the full ICTAI paper archive.