Yi Chu, Chuan Luo, Wenxuan Huang, Haihang You, Dongrui Fan. Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability. In 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017. pages 139-146, IEEE Computer Society, 2017. [doi]
Abstract is missing.