Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Backeman, Philipp Rümmer, Aleksandar Zeljic. Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. In Nikolaj Bjørner, Arie Gurfinkel, editors, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. pages 1-10, IEEE, 2018. [doi]

This author has not been identified. Look up 'Peter Backeman' in GoogleThis author has not been identified. Look up 'Philipp Rümmer' in GoogleThis author has not been identified. Look up 'Aleksandar Zeljic' in Google

runs on WebDSL