TY - RPRT TI - MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks AU - Quian Matteo Chen AU - Alberto Finzi AU - Toni Mancini AU - Igor Melatti AU - Enrico Tronci PY - 2021 DO - 10.3233/fi-2020-1941 UR - https://arxiv.org/abs/2106.10685 ID - 2106.10685 ER -