From \textsc{MiniZinc} to optimization modulo theories, and back

DOI10.1007/978-3-030-58942-4_10OpenAlexW3089776463MaRDI QIDQ2110398

Patrick Trentin, Roberto Sebastiani, Francesco Contaldo

Publication date: 21 December 2022

Full work available at URL: https://arxiv.org/abs/1912.01476

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Operations research and management science (90Bxx)

Related Items (1)

Optimization modulo non-linear arithmetic via incremental linearization

This page was built for publication: From \textsc{MiniZinc} to optimization modulo theories, and back