Towards Massively Parallel Local Search for SAT - (Poster Presentation).

Alejandro Arbelaez, Philippe Codognet

Browse the full SAT paper archive.