1. Aloul, F.A. Markov, I.L. Sakallah, K.A.: Shatter: efficient symmetry-breaking for boolean satisfiability. In: Proceedings of the 40th Annual Design Automation Conference, pp. 836–839. ACM, (2003)
2. Areces, C., Déharbe, D., Pascal, F., Ezequiel, O.: SyMT: finding symmetries in SMT formulas. In: SMT Workshop 2013 11th International Workshop on Satisfiability Modulo Theories, (2013)
3. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. IJCAI 9, 399–404 (2009)
4. Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A.: CVC4. In: Gopalakrishnan, Ganesh, Qadeer, Shaz (eds.) Computer Aided Verification. Lecture Notes in Computer Science, vol. 6806, pp. 171–177. Springer, Berlin (2011)
5. Bayless, S., Bayless, N., Hoos, H.H., Hu, A.J.: SAT modulo monotonic theories. In: Twenty-Ninth AAAI Conference on Artificial Intelligence, (2015)