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



Authors/Editors

Last updated on 2019-25-07 at 15:14