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

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
January 2014
PDF DOI
Type
Conference paper
Publication
AAAI2024
Conf