Configuration Checking with Aspiration in Local Search for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shaowei Cai' in GoogleThis author has not been identified. Look up 'Kaile Su' in Google

runs on WebDSL