论文信息 - SPEAR Theorem Prover

SPEAR Theorem Prover

SPEAR is a bit-vector arithmetic theorem prover designed for proving software verification conditions. The core of the theore m prover is a fast and simple SAT solver, which is described in this paper.

Frank M. Hutter

[1] Mauro Birattari,et al. The problem of tuning metaheuristics: as seen from the machine learning perspective , 2004 .

[2] Armin Biere,et al. Effective Preprocessing in SAT Through Variable and Clause Elimination , 2005, SAT.

[3] Alan J. Hu,et al. B-Cubing: New Possibilities for Efficient SAT-Solving , 2006, IEEE Transactions on Computers.

[4] Alan J. Hu,et al. Boosting Verification by Automatic Tuning of Decision Procedures , 2007 .

[5] Thomas Stützle,et al. Automatic Algorithm Configuration Based on Local Search , 2007, AAAI.