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
Page(s): 6-10


Selected Authors

Ábrahám, Erika
Abbott, John
Becker, Bernd
Bigatti, Anna M.
Brain, Martin

Other Authors

Cimatti, Alessandro
Davenport, James H.
England, Matthew
Fontaine, Pascal
Forrest, Stephen
Ganesh, Vijay
Griggio, Alberto
Kroening, Daniel
Seiler, Werner M.