Bit-Precise Reasoning via Int-Blasting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli. Bit-Precise Reasoning via Int-Blasting. In Bernd Finkbeiner, Thomas Wies, editors, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Volume 13182 of Lecture Notes in Computer Science, pages 496-518, Springer, 2022. [doi]

This author has not been identified. Look up 'Yoni Zohar' in GoogleThis author has not been identified. It may be one of the following persons:

Ahmed Irfan

Look up 'Ahmed Irfan' in GoogleThis author has not been identified. Look up 'Makai Mann' in GoogleThis author has not been identified. Look up 'Aina Niemetz' in GoogleThis author has not been identified. Look up 'Andres Nötzli' in GoogleThis author has not been identified. Look up 'Mathias Preiner' in GoogleThis author has not been identified. Look up 'Andrew Reynolds 0001' in GoogleThis author has not been identified. Look up 'Clark W. Barrett' in GoogleThis author has not been identified. Look up 'Cesare Tinelli' in Google

runs on WebDSL