Norbert Manthey Coprocessor - a Standalone SAT Preprocessor http://arxiv.org/abs/1108.6208 2011 CoRR abs/1108.6208 db/journals/corr/corr1108.html#abs-1108-6208