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



Autor(inn)en / Herausgeber(innen)

Zuletzt aktualisiert 2019-25-07 um 15:14