Conference In: orcid

Short-circuit Analysis using a Parallel QBF Solver

XXXV Conference on Design of Circuits and Integrated Systems (DCIS 2020)

Santos, Rafael; Afonso, João; Monteiro, José — 2020

Key information

Authors:

Santos, Rafael (Rafael Fernandes dos Santos); Afonso, João; Monteiro, José (José Carlos Alves Pereira Monteiro)

Published in

November 2020

Publication details

Authors in the community:

Title of the publication container

XXXV Conference on Design of Circuits and Integrated Systems (DCIS 2020)

Location of the conference

ES

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available