Bias in algorithm portfolio performance evaluation
A survey of recent advances in SAT-based formal verification