Exploiting sparsity in difference-bound matrices

DOI10.1007/978-3-662-53413-7_10zbMath1394.68074OpenAlexW2517915133MaRDI QIDQ1664386

Jorge A. Navas, Peter Schachte, Peter J. Stuckey, Graeme Gange, Harald Søndergaard

Publication date: 27 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-53413-7_10

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Compact Difference Bound Matrices ⋮ Incremental closure for systems of two variables per inequality ⋮ Incrementally closing octagons

This page was built for publication: Exploiting sparsity in difference-bound matrices