@misc{indiciae5354d9f2629c, title = {MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks}, author = {Quian Matteo Chen and Alberto Finzi and Toni Mancini and Igor Melatti and Enrico Tronci}, year = {2021}, doi = {10.3233/fi-2020-1941}, url = {https://arxiv.org/abs/2106.10685}, note = {Source identifier: 2106.10685} }