Chen, Qian Matteo; Finzi, Alberto; Mancini, Toni; Melatti, Igor; Tronci, Enrico MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks. (English) Zbl 1496.68300 Fundam. Inform. 174, No. 3-4, 229-258 (2020). MSC: 68T20 90B18 PDFBibTeX XMLCite \textit{Q. M. Chen} et al., Fundam. Inform. 174, No. 3--4, 229--258 (2020; Zbl 1496.68300) Full Text: DOI arXiv
He, Jun; Flener, Pierre; Pearson, Justin An automaton constraint for local search. (English) Zbl 1230.68178 Fundam. Inform. 107, No. 2-3, 223-248 (2011). MSC: 68T20 68Q45 PDFBibTeX XMLCite \textit{J. He} et al., Fundam. Inform. 107, No. 2--3, 223--248 (2011; Zbl 1230.68178) Full Text: DOI