Tobias Welp, Andreas Kuehlmann. Property Directed Reachability for QF_BV with mixed type atomic reasoning units. In 19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014. pages 738-743, IEEE, 2014. [doi]
@inproceedings{WelpK14,
title = {Property Directed Reachability for QF_BV with mixed type atomic reasoning units},
author = {Tobias Welp and Andreas Kuehlmann},
year = {2014},
doi = {10.1109/ASPDAC.2014.6742978},
url = {http://dx.doi.org/10.1109/ASPDAC.2014.6742978},
researchr = {https://researchr.org/publication/WelpK14},
cites = {0},
citedby = {0},
pages = {738-743},
booktitle = {19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014},
publisher = {IEEE},
}