Krisztián Gajdár

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Modulo Theories

Entity Relationship

Sensor Placement

Top Venues

Publications

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