SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces

EasyChair (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017
Seite(n): 6-10

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Weitere Autorinnen und Autoren

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

Identifikationsnummern