Algorithms and Numerical Methods
Associated Publications
2024
2023
2022
2021
2020
2021 IEEE Transactions on Computer-Aided Design Donald O. Pederson Best Paper Award
2019
DAC 2019 Best Paper Award
2018
2017
Proceedings of High Performance Graphics 2017
2016
2015
Technical Report NVR-2015-001
2014
2013
2012
Technical Report NVR-2012-003
2011
Technical Report NVR-2011-001