Coprocessor - a Standalone SAT Preprocessor

Norbert Manthey

In this work a stand-alone preprocessor for SAT is presented that is able to perform most of the known preprocessing techniques. Preprocessing a formula in SAT is important for per…