1
Publications
12
Citations
1
H-Index
2021
Active since
Affiliations
Isac S. Campos is an author at Universidade Federal de Santa Catarina specializing in formal methods, computer engineering, and knowledge discovery.
Top concepts
Data MiningEngineeringCircuit DesignFormal MethodsComputer ScienceCircuit ComplexityParallel ComputingAutomated ReasoningKnowledge DiscoveryComputer Engineering
Publications per year
2021–2021
1
1
Fast Logic Optimization Using Decision Trees
Brunno Abreu, Augusto Berndt, Isac S. Campos et al. · 2021 · 12 citations
Circuit Complexity, Engineering, Electronic Design Automation +17
Rows per page
1–1 of 1