Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. - Gergely Kovásznai; Krisztián Gajdár; Laura Kovács (SYNASC, 2019)