Abstraction of bit-vector operations for BDD-based SMT solvers

DOI10.1007/978-3-030-02508-3_15OpenAlexW2897273493MaRDI QIDQ1623140

Martin Jonáš, Jan Strejček

Publication date: 23 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_15

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Abstraction of bit-vector operations for BDD-based SMT solvers