Rafael Santos, João Afonso, José Monteiro. Short-circuit Analysis using a Parallel QBF Solver. In XXXV Conference on Design of Circuits and Integrated Systems, DCIS 2020, Segovia, Spain, November 18-20, 2020. pages 1-6, IEEE, 2020. [doi]
@inproceedings{SantosAM20,
title = {Short-circuit Analysis using a Parallel QBF Solver},
author = {Rafael Santos and João Afonso and José Monteiro},
year = {2020},
doi = {10.1109/DCIS51330.2020.9268636},
url = {https://doi.org/10.1109/DCIS51330.2020.9268636},
researchr = {https://researchr.org/publication/SantosAM20},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {XXXV Conference on Design of Circuits and Integrated Systems, DCIS 2020, Segovia, Spain, November 18-20, 2020},
publisher = {IEEE},
isbn = {978-1-7281-9132-4},
}