Double Configuration Checking in Stochastic Local Search for Satisfiability.

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su

Browse the full AAAI paper archive.