Property Directed Reachability for QF_BV with mixed type atomic reasoning units.

Tobias Welp, Andreas Kuehlmann

Browse the full ASPDAC paper archive.