A Benders decomposition approach to deciding modular linear integer arithmetic

DOI10.1007/978-3-319-66263-3_24zbMath1496.68193OpenAlexW2742358887WikidataQ57664978 ScholiaQ57664978MaRDI QIDQ1680266

Graeme Gange, Peter J. Stuckey, Bishoksan Kafle, Peter Schachte, Harald Søndergaard

Publication date: 15 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-66263-3_24

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Logic-Based Benders Decomposition for Large-Scale Optimization

This page was built for publication: A Benders decomposition approach to deciding modular linear integer arithmetic