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
Place of publishing Erscheinungsort
Timisoara, Romania
DOI
10.1109/SYNASC49474.2019
Access Type
Date issued
Results 1-2 of 2 (Search time: 0.001 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 ; Hong, Hoon ; Negru, Viorel ; Petcu, Dana ; Zaharie, Daniela | Superposition Reasoning about Quantified Bitvector Formulas | Inproceedings Konferenzbeitrag | 15-Apr-2020 |