Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization.
Gergely KovásznaiKrisztián GajdárLaura KovácsPublished in: SYNASC (2019)
Keyphrases
- sensor networks
- cardinality constraints
- sensor placement
- sensor data
- wireless sensor networks
- combinatorial optimization
- communication cost
- data streams
- sensor nodes
- modulo theories
- energy consumption
- optimization problems
- base station
- optimization model
- quantifier elimination
- mobile sensor networks
- database schema
- sensor web
- closed sets
- entity relationship
- search algorithm
- multiple objectives
- functional dependencies
- heterogeneous sensor networks
- sat solvers
- deductive databases
- databases
- integrity constraints
- routing protocol
- np complete
- logic programming
- data analysis
- computational complexity
- web services