MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks.
Qian Matteo ChenAlberto FinziToni ManciniIgor MelattiEnrico TronciPublished in: CoRR (2021)
Keyphrases
- wireless networks
- fault tolerant
- mission critical
- pseudo boolean
- fault tolerance
- wireless communication
- base station
- distributed systems
- multi hop
- relay nodes
- integer linear programming
- ad hoc networks
- combinatorial problems
- load balancing
- data center
- symmetry breaking
- real time systems
- wifi
- database
- data centric
- exact solution
- linear program
- constraint satisfaction
- mobile networks
- data transmission
- propositional satisfiability
- routing algorithm
- sensor networks
- branch and bound algorithm