1. 2015. Hardware Model Checking Competition 2015 (HWMCC'15). https://fmv.jku.at/hwmcc15/ 2015. Hardware Model Checking Competition 2015 (HWMCC'15). https://fmv.jku.at/hwmcc15/
2. 2017. Hardware Model Checking Competition 2017 (HWMCC'17). https://fmv.jku.at/hwmcc17/ 2017. Hardware Model Checking Competition 2017 (HWMCC'17). https://fmv.jku.at/hwmcc17/
3. Gilles Audemard and Laurent Simon . 2009. Glucose: a solver that predicts learnt clauses quality. SAT Competition ( 2009 ), 7--8. Gilles Audemard and Laurent Simon. 2009. Glucose: a solver that predicts learnt clauses quality. SAT Competition (2009), 7--8.
4. SIAM journal on computing 32, 1;Auer Peter,2002
5. Construction of Verifier Combinations Based on Off-the-Shelf Verifiers