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: Fundam. Informaticae (2020)
Keyphrases
- wireless networks
- fault tolerant
- mission critical
- pseudo boolean
- fault tolerance
- base station
- multi hop
- wireless communication
- relay nodes
- distributed systems
- combinatorial problems
- integer linear programming
- ad hoc networks
- real time systems
- exact solution
- wifi
- load balancing
- optimal solution
- symmetry breaking
- propositional satisfiability
- data centric
- mobile networks
- linear program
- combinatorial optimization
- constraint programming
- data transmission
- sat solvers
- integer programming
- low cost