Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ana Petkovska

> Home > Persons

Person information

affiliation: EPFL, Lausanne, Switzerland

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/ch/Petkovska17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ch/Petkovska17
Ana Petkovska:
Exploiting Satisfiability Solvers for Efficient Logic Synthesis. EPFL, Switzerland, 2017

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MishchenkoBPSAD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MishchenkoBPSAD18
Alan Mishchenko, Robert K. Brayton, Ana Petkovska, Mathias Soeken, Luca G. Amarù, Antun Domic:
Canonical computation without canonical representation. DAC 2018: 52:1-52:6
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/ChuTSPZAXIMG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/ChuTSPZAXIMG17
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: 131-136
2016
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fpl/PetkovskaSMIM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpl/PetkovskaSMIM16
Ana Petkovska, Mathias Soeken, Giovanni De Micheli, Paolo Ienne, Alan Mishchenko:
Fast hierarchical NPN classification. FPL 2016: 1-4
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/PetkovskaMSMBI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/PetkovskaMSMBI16
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: 4
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SoekenMPSIBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SoekenMPSIBM16
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: 212-227
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fpt/PetkovskaZNOMI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpt/PetkovskaZNOMI15
Ana Petkovska, Grace Zgheib, David Novo, Muhsen Owaida, Alan Mishchenko, Paolo Ienne:
Improved carry chain mapping for the VTR flow. FPT 2015: 80-87
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/PetkovskaNMI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/PetkovskaNMI14
Ana Petkovska, David Novo, Alan Mishchenko, Paolo Ienne:
Constrained interpolation for guided logic synthesis. ICCAD 2014: 462-469

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/PetkovskaMNOI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/PetkovskaMNOI18
Ana Petkovska, Alan Mishchenko, David Novo, Muhsen Owaida, Paolo Ienne:
Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver. Advanced Logic Synthesis 2018: 169-188

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.