1
Publications
12
Citations
1
H-Index
2021
Active since
Affiliations
Augusto Berndt is an author at Universidade Federal do Rio Grande do Sul specializing in formal methods, parallel computing, 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