A Universal Parallel SAT Checking Kernel

We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics employed by the state-of-the-art sequential SAT checking algorithm. This property makes our parallel SAT checker applicable in a wide range of different application domains. For its distributed execution a combination of the strict multithreading and the mobile agent programming model is employed. We give results of run-time measurements for problem instances taken from different application domains, indicating the usefulness of the presented method.

• Type: Conference
• Year: 2003
• Where: PDPTA
• Authors: Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin
• Keywords: Parallel Sat Checker, PDPTA 2003, PDPTA 2007, SAT Checker Applicable, SAT Checking Algorithm