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,
- 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.);
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.