scientific article; zbMATH DE number 7362724

zbMath1464.90040arXiv1408.5958MaRDI QIDQ4995360

Omar Inverso, Peter Habermehl, Gennaro Parlato, Constantin Enea

Publication date: 24 June 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of graph theory (05C90) Integer programming (90C10) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items (1)

On the path-width of integer linear programming

This page was built for publication: