[Back]


Talks and Poster Presentations (with Proceedings-Entry):

G. Kovasznai, K. Gajdar, L. Kovacs:
"Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization";
Talk: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) 2019, Timisoara, Romania; 2019-09-04 - 2019-09-07; in: "Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019", H. Hong, D. Zaharie (ed.); IEEE, (2019), ISBN: 978-1-7281-5724-5; 85 - 91.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/SYNASC49474.2019.00021


Created from the Publication Database of the Vienna University of Technology.