Details
Title
Petkovska, Ana
Sciper ID
196536
Affiliated labs
LAP
Publications
Canonical Computation without Canonical Representation
Exploiting Satisfiability Solvers for Efficient Logic Synthesis
Fast Hierarchical NPN Classification
Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications
Heuristic NPN classification for large functions using AIGs and LEXSAT
Improved carry chain mapping for the VTR flow
Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains
Majority-Inverter Graph for FPGA Synthesis
Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
Exploiting Satisfiability Solvers for Efficient Logic Synthesis
Fast Hierarchical NPN Classification
Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications
Heuristic NPN classification for large functions using AIGs and LEXSAT
Improved carry chain mapping for the VTR flow
Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains
Majority-Inverter Graph for FPGA Synthesis
Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
Link to search
All resources
Record appears in
Authorities > People