Conferência De: 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

Informações chave

Autores:

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

Publicado em

Novembro 2020

Detalhes da publicação

Autores da comunidade :

Título do contentor da publicação

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

Local da conferência

ES

Domínio Científico (FOS)

computer-and-information-sciences - Ciências da Computação e da Informação

Idioma da publicação (código ISO)

eng - Inglês

Acesso à publicação:

Acesso apenas a metadados