Parallel search for maximum satisfiability
Ruben Martins, Vasco M. Manquinho, Inês Lynce · AI Communications · 2012
The predominance of multicore processors has increased the interest in developing parallel Boolean Satisfiability (SAT) solvers. As a result, more parallel SAT solvers are emerging. Even though parallel approaches are known to boost performance, para