Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.

摘要: Preprocessing techniques are crucial for SAT solvers when it comes to reaching state-of-the-art performance as was shown by the results of last Competitions. The usefulness a preprocessing technique depends highly on its own parameters, instances which is applied and used solver. In this paper we first give an extended analysis gain reached using different individually in combination with CDCL application SLS crafted instances. Further, provide combinations means automated algorithm configuration, where search optimal preprocessor configurations scenarios. Our show that especially can be further improved appropriate configurations. augmented best found outperform original from Challenge 2012, achieving new results.