[PLDI '21] Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions

Publication
In Proceedings the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, Virtual Event, June 23-25, 2021. (Acceptance rate 27.2%=87/320)

Artifacts Evaluated – Available & Functional