Massively Parallel Local Search for SAT.

Alejandro Arbelaez, Philippe Codognet

Browse the full ICTAI paper archive.