Follow
Ana Petkovska
Title
Cited by
Cited by
Year
Fast hierarchical NPN classification
A Petkovska, M Soeken, G De Micheli, P Ienne, A Mishchenko
2016 26th International Conference on Field Programmable Logic and …, 2016
242016
Heuristic NPN classification for large functions using AIGs and LEXSAT
M Soeken, A Mishchenko, A Petkovska, B Sterin, P Ienne, RK Brayton, ...
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
182016
Fast generation of lexicographic satisfiable assignments: Enabling canonicity in SAT-based applications
A Petkovska, A Mishchenko, M Soeken, G De Micheli, R Brayton, P Ienne
Proceedings of the 35th International Conference on Computer-Aided Design, 1-8, 2016
152016
Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
A Petkovska, A Mishchenko, D Novo, M Owaida, P Ienne
Advanced Logic Synthesis, 169-188, 2018
112018
Majority-inverter graph for FPGA synthesis
L Amarú, A Petkovska, PE Gaillardon, D Novo, P Ienne, G De Micheli
Proceedings of the 19th Workshop on Synthesis and System Integration of …, 2015
92015
Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains
Z Chu, X Tang, M Soeken, A Petkovska, G Zgheib, L Amarù, Y Xia, ...
Proceedings of the on Great Lakes Symposium on VLSI 2017, 131-136, 2017
72017
Constrained Interpolation for Guided Logic Synthesis
A Petkovska, D Novo, A Mishchenko, P Ienne
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 462-469, 2014
62014
Improved carry-chain mapping for the VTR flow
A Petkovska, G Zgheib, D Novo, M Owaida, A Mishchenko, P Ienne
International Conference on Field Programmable Technology, 80--87, 2015
52015
Canonical computation without canonical representation
A Mishchenko, R Brayton, A Petkovska, M Soeken, L Amarú, A Domic
Proceedings of the 55th Annual Design Automation Conference, 52, 2018
42018
Exploiting Satisfiability Solvers for Efficient Logic Synthesis
A Petkovska
EPFL, 2017
42017
Progressive Generation of Canonical Sums of Products Using a SAT Solver
A Petkovska, A Mishchenko, D Novo, M Owaida, P Ienne
Proceedings of the 25th International Workshop on Logic and Synthesis, 2016
32016
Enhancing Iterative Layering with SAT Solvers
A Petkovska, D Novo, AK Verma, A Mishchenko, P Ienne
International Workshop on Logic and Synthesis, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–12