Ana Petkovska

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 5

Top Topics

Classification Systems

Canonical Representation

Top Venues

Publications

Alan Mishchenko, Robert K. Brayton, Ana Petkovska, Mathias Soeken, Luca G. Amarù, Antun Domic
Canonical computation without canonical representation. DAC (2018)
Zhufei Chu, Xifan Tang, Mathias Soeken, Ana Petkovska, Grace Zgheib, Luca Gaetano Amarù, Yinshui Xia, Paolo Ienne, Giovanni De Micheli, Pierre-Emmanuel Gaillardon
Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains. ACM Great Lakes Symposium on VLSI (2017)
Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli
Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT. SAT (2016)
Ana Petkovska, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli, Robert K. Brayton, Paolo Ienne
Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications. ICCAD (2016)
Ana Petkovska, Mathias Soeken, Giovanni De Micheli, Paolo Ienne, Alan Mishchenko
Fast hierarchical NPN classification. FPL (2016)
Ana Petkovska, Grace Zgheib, David Novo, Muhsen Owaida, Alan Mishchenko, Paolo Ienne
Improved carry chain mapping for the VTR flow. FPT (2015)
Ana Petkovska, David Novo, Alan Mishchenko, Paolo Ienne
Constrained interpolation for guided logic synthesis. ICCAD (2014)