Double Configuration Checking in Stochastic Local Search for Satisfiability AAAI 2014: 2703-2709

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
一月 2014
PDF DOI
类型
会议文章
出版物
AAAI2024
Conf