SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces
EasyChair (2017) [Contribution to a book, Contribution to a conference proceedings]
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017
Bigatti, Anna M.
Davenport, James H.
Seiler, Werner M.