SIGmA: GPU Accelerated Simplification of SAT Formulas.

Muhammad Osama, Anton Wijs

Browse the full IFM paper archive.