Paulo Ferreira Godinho Flores


AuthID: R-000-EBX

Publicações Confirmadas: 82



81
TÍTULO: An exact solution to the minimum size test pattern problem
AUTORES: Flores, PF ; Neto, HC ; Silva, JPM ;
PUBLICAÇÃO: 1998, FONTE: International Conference on Computer Design: VLSI in Computers and Processors in INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | CIÊNCIAVITAE
82
TÍTULO: Prime implicant computation using satisfiability algorithms
AUTORES: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLICAÇÃO: 1997, FONTE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
Página 9 de 9. Total de resultados: 82.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service