1. Ábrahám, E.: Building bridges between symbolic computation and satisfiability checking. In: Linton, S., (ed.) Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, pp. 1–6. ACM, New York, NY, USA (2015)
2. Ahmed, T., Kullmann, O., Snevily, H.: On the van der Waerden numbers $$w(2;3, t)$$. Discret. Appl. Math. 174, 27–51 (2014)
3. Assmus Jr., E.F., Mattson Jr., H.F.: On the possibility of a projective plane of order 10. Algebraic Theory of Codes II, Air Force Cambridge Research Laboratories Report AFCRL-71-0013, Sylvania Electronic Systems, Needham Heights, Mass (1970)
4. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Boutilier, C., (ed.) IJCAI-09: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, pp. 399–404 (2009)
5. Bernardin, L., Chin, P., DeMarco, P., Geddes, K.O., Hare, D.E.G., Heal, K.M., Labahn, G., May, J.P., McCarron, J., Monagan, M.B., Ohashi, D., Vorkoetter, S.M.: Maple programming guide. Maplesoft, Waterloo, ON, Canada (2019)