Publications

Articles

International Conferences: 1

2020

- Rafael Santos and João Pedro Afonso and J. Monteiro, Short-circuit Analysis using a Parallel QBF Solver, presented at XXXV Conference on Design of Circuits and Integrated Systems (DCIS 2020), Nov. 2020 [bibTex]