Paulo Ferreira Godinho Flores


AuthID: R-000-EBX

Confirmed Publications: 82



81
TITLE: An exact solution to the minimum size test pattern problem
AUTHORS: Flores, PF ; Neto, HC ; Silva, JPM ;
PUBLISHED: 1998, SOURCE: International Conference on Computer Design: VLSI in Computers and Processors in INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | CIÊNCIAVITAE
82
TITLE: Prime implicant computation using satisfiability algorithms
AUTHORS: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLISHED: 1997, SOURCE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 31
Page 9 of 9. Total results: 82.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service