Beitrag in einem Tagungsband
SC^2 Challenges: When Satisfiability Checking and Symbolic Computation Join Forces
Details zur Publikation
Autor(inn)en: | Seiler, W. |
Herausgeber: | Reger, G.; Traytel, D. |
Verlag: | Easy Chair |
Verlagsort / Veröffentlichungsort: | Internet |
Publikationsjahr: | 2017 |
Seitenbereich: | 6-10 |
Buchtitel: | Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2017) |
Titel der Buchreihe: | EPiC Series in Computing |
Bandnr.: | 51 |
