Overview and analysis of the SAT Challenge 2012 solver competition

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.1K citations · Full text

Engineering, Verification, Automated Proof +17

Chaff

Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations

Mathematical Programming, Artificial Intelligence, Constraint Solving +14

BOINC: A System for Public-Resource Computing and Storage

David P. Anderson · 2005 · 1.9K citations

Cluster Computing, Engineering, Berkeley Open Infrastructure +18

GRASP: a search algorithm for propositional satisfiability

João Marques‐Silva, Karem A. Sakallah · IEEE Transactions on Computers · 1999 · 1.3K citations

Artificial Intelligence, Engineering, Verification +16

TestU01

Pierre L’Ecuyer, Richard Simard · ACM Transactions on Mathematical Software · 2007 · 983 citations

Empirical Statistical Testing, Engineering, Program Analysis +14