Ricardo Marques, Luis G. Silva, Paulo F. Flores, L. Miguel Silveira. Improving SAT Solver Efficiency Using a Multi-Core Approach. In Chutima Boonthum-Denecke, G. Michael Youngblood, editors, Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013, St. Pete Beach, Florida. May 22-24, 2013. AAAI Press, 2013. [doi]
Abstract is missing.