Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Book title Buchtitel
Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
ISBN
978-1-7281-5724-5
Editor Herausgeber_in
Publisher Herausgeber
IEEE
DOI
10.1109/SYNASC49474.2019
Date issued
Fulltext
Results 1-2 of 2 (Search time: 0.003 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Kovasznai, Gergely ; Gajdár, Krisztián ; Kovacs, Laura ; Hong, Hoon ; Negru, Viorel ; Petcu, Dana ; Zaharie, Daniela | Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization | Inproceedings Konferenzbeitrag ![]() | 15-Apr-2020 | |
2 | Damestani, David ; Kovacs, Laura ; Suda, Martin ; Petcu, Dana ; Hong, Hoon ; Negru, Viorel ; Zaharie, Daniela | Superposition Reasoning about Quantified Bitvector Formulas | Inproceedings Konferenzbeitrag ![]() | 15-Apr-2020 |