1. Ajtai, M.: The complexity of the pigeonhole principle. Combinatorica 14(4), 417–433 (1994)
2. Biere, A.: CaDiCaL, Lingeling, Plingeling, Treengeling and YalSAT entering the SAT competition 2018. In: Heule, M.J.H., Järvisalo, M., Suda, M. (eds.) Proceedings of SAT Competition 2018, pp. 13–14. Department of Computer Science Series of Publications B, University of Helsinki (2018)
3. Biere, A.: CaDiCaL at the SAT race 2019. In: Heule, M.J.H., Järvisalo, M., Suda, M. (eds.) Proceedings of SAT Race 2019, pp. 8–9. Department of Computer Science Series of Publications B, University of Helsinki (2019)
4. Lecture Notes in Computer Science;S Buss,2019
5. Lecture Notes in Computer Science;JY Cai,1986