1. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: version 2.6. Technical report, Department of Computer Science, The University of Iowa (2017). www.smt-lib.org/
2. Biere, A.: Tutorial on world-level model checking. In: 2020 Formal Methods in Computer Aided Design (FMCAD) (2020)
3. Lecture Notes in Computer Science;A Biere,1999
4. Biere, A., Claessen, K.: Hardware model checking competition. In: Hardware Verification Workshop (2010)
5. Biere, A., Heljanko, K., Wieringa, S.: AIGER 1.9 and beyond (2011)