An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. In Nicolas Halbwachs, Lenore D. Zuck, editors, Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Volume 3440 of Lecture Notes in Computer Science, pages 317-333, Springer, 2005. [doi]

This author has not been identified. Look up 'Marco Bozzano' in GoogleThis author has not been identified. Look up 'Roberto Bruttomesso' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Tommi A. Junttila' in GoogleThis author has not been identified. Look up 'Peter van Rossum' in GoogleThis author has not been identified. Look up 'Stephan Schulz' in GoogleThis author has not been identified. Look up 'Roberto Sebastiani' in Google

runs on WebDSL