\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Chen et~al.}(2020){Chen, Finzi, Mancini, Melatti \& Tronci}]{Chen_etal2020} Q. M. Chen, A. Finzi, T. Mancini, I. Melatti, and E. Tronci. "MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks." \textit{Fundamenta Informaticae} 174 (2020): 229--258. IOS Press. ISSN: 1875-8681. DOI: 10.3233/FI-2020-1941.

\end{thebibliography}

