A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. In Serge Gaspers, Toby Walsh, editors, Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Volume 10491 of Lecture Notes in Computer Science, pages 380-397, Springer, 2017. [doi]

This author has not been identified. Look up 'Bishoksan Kafle' in GoogleThis author has not been identified. Look up 'Graeme Gange' in GoogleThis author has not been identified. Look up 'Peter Schachte' in GoogleThis author has not been identified. Look up 'Harald Søndergaard' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in Google

runs on WebDSL