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 | 25 | 2016 |
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 | 20 | 2016 |
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 | 15 | 2016 |
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 | 11 | 2018 |
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 | 9 | 2015 |
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 | 7 | 2017 |
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 | 7 | 2014 |
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 | 5 | 2015 |
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 | 4 | 2018 |
Exploiting Satisfiability Solvers for Efficient Logic Synthesis A Petkovska EPFL, 2017 | 4 | 2017 |
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 | 3 | 2016 |
Enhancing Iterative Layering with SAT Solvers A Petkovska, D Novo, AK Verma, A Mishchenko, P Ienne International Workshop on Logic and Synthesis, 2013 | | 2013 |