Conference proceedings article
SC^2 Challenges: When Satisfiability Checking and Symbolic Computation Join Forces
Publication Details
Authors: | Seiler, W. |
Editor: | Reger, G.; Traytel, D. |
Publisher: | Easy Chair |
Place: | Internet |
Publication year: | 2017 |
Pages range : | 6-10 |
Book title: | Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2017) |
Title of series: | EPiC Series in Computing |
Number in series: | 51 |
