2 papers
cs.LO2020
Towards Faster Reasoners By Using Transparent Huge Pages
Johannes K. Fichte, Norbert Manthey, Julian Stecklina +1
Various state-of-the-art automated reasoning (AR) tools are widely used as backend tools in research of knowledge representation and reasoning as well as in industrial applications…
cs.AI2011
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…