Btor2 , BtorMC and Boolector 3.0 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere. Btor2 , BtorMC and Boolector 3.0. In Hana Chockler, Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Volume 10981 of Lecture Notes in Computer Science, pages 587-595, Springer, 2018. [doi]

This author has not been identified. Look up 'Aina Niemetz' in GoogleThis author has not been identified. Look up 'Mathias Preiner' in GoogleThis author has not been identified. Look up 'Clifford Wolf' in GoogleThis author has not been identified. Look up 'Armin Biere' in Google

runs on WebDSL