Kiesl, B., Seidl, M., Tompits, H., & Biere, A. (2016). Super-Blocked Clauses. In Automated Reasoning. 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings ; Olivetti, Nicola. Cham. https://doi.org/10.1007/978-3-319-40229-1_5