Configuration Checking with Aspiration in Local Search for SAT

Shaowei Cai, Kaile Su. Configuration Checking with Aspiration in Local Search for SAT. In Jörg Hoffmann, Bart Selman, editors, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. pages 434-440, AAAI Press, 2012. [doi]

Abstract

Abstract is missing.