%0 Conference Paper %1 conf/dcis/SantosAM20 %A Santos, Rafael %A Afonso, João %A Monteiro, José %B DCIS %D 2020 %I IEEE %K dblp %P 1-6 %T Short-circuit Analysis using a Parallel QBF Solver. %U http://dblp.uni-trier.de/db/conf/dcis/dcis2020.html#SantosAM20 %@ 978-1-7281-9132-4

@inproceedings{conf/dcis/SantosAM20, added-at = {2022-02-23T00:00:00.000+0100}, author = {Santos, Rafael and Afonso, João and Monteiro, José}, biburl = {https://www.bibsonomy.org/bibtex/2d89ae2e5cb52fe9d7802947f2f54b9ed/dblp}, booktitle = {DCIS}, crossref = {conf/dcis/2020}, ee = {https://doi.org/10.1109/DCIS51330.2020.9268636}, interhash = {2f3d8948062b176545179cd1468e870a}, intrahash = {d89ae2e5cb52fe9d7802947f2f54b9ed}, isbn = {978-1-7281-9132-4}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-10T01:11:28.000+0200}, title = {Short-circuit Analysis using a Parallel QBF Solver.}, url = {http://dblp.uni-trier.de/db/conf/dcis/dcis2020.html#SantosAM20}, year = 2020 }