The Configurable SAT Solver Challenge (CSSC)
A survey of recent advances in SAT-based formal verification