Improving SAT Solver Efficiency Using a Multi-Core Approach. - Ricardo Marques; Luis G. Silva; Paulo F. Flores; L. Miguel Silveira (FLAIRS, 2013)