SAT Solving with GPU Accelerated Inprocessing.

Muhammad Osama, Anton Wijs, Armin Biere

Browse the full TACAS paper archive.