Ana Petkovska

Affiliations:

EPFL, Lausanne, Switzerland

According to our database¹, Ana Petkovska authored at least 9 papers between 2014 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2018

Canonical computation without canonical representation.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver.

[BibT_eX]

[DOI]

Proceedings of the Advanced Logic Synthesis, 2018

2017

Exploiting Satisfiability Solvers for Efficient Logic Synthesis.

[BibT_eX]

[DOI]

Ana Petkovska

PhD thesis, 2017

Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains.

[BibT_eX]

[DOI]

Pierre-Emmanuel Gaillardon

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

2016

Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Fast hierarchical NPN classification.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

2015

Improved carry chain mapping for the VTR flow.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Field Programmable Technology, 2015

2014

Constrained interpolation for guided logic synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Ana Petkovska

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...