Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization.

Gergely Kovsznai, Krisztin Gajdr, Laura Kovcs

Browse the full SYNASC paper archive.