From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search.

Dominik Schreiber, Christoph Jabs, Jeremias Berg

Browse the full SoCS paper archive.