Improving SAT Solver Efficiency Using a Multi-Core Approach.

Ricardo Marques, Luis G. Silva, Paulo F. Flores, L. Miguel Silveira

Browse the full FlAIRS paper archive.