References . 1. ?brahám, E. Building bridges between symbolic computation and satisfiability checking. In Proceedings of the 2015 ACM on Intern. Symp. Symbolic and Algebraic Computation , 2015, 1–6. S. Linton, ed. 2. ?brahám, E., et al. SC2: When satisfiability checking and symbolic computation join forces. G. and Traytel, D., eds. In Proceedings of 1 st Intern. Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements. EPiC Series in Comp...