Concepedia

A. Mishchenko

AM

16

Publications

627

Citations

14

H-Index

2002

Active since

Affiliations

University of California, Berkeley(Current)

Portland State University

Synopsys (United States)

National Taiwan University

A. Mishchenko is an author at University of California, Berkeley specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringFormal VerificationAutomated ReasoningCircuit ComplexityComputational ComplexityMathematical ProgrammingSatisfiability

Publications per year

2002–2012

16

Publications

16

SAT-Based Complete Don't-Care Computation for Network Optimization

A. Mishchenko, Robert K. Brayton · Design, Automation, and Test in Europe · 2005 · 98 citations · Full text

Mathematical Programming, Circuit Complexity, Engineering +16

DAG-aware AIG rewriting: a fresh look at combinational logic synthesis

A. Mishchenko, Satrajit Chatterjee, Robert K. Brayton · Proceedings - ACM IEEE Design Automation Conference · 2006 · 84 citations

Engineering, Industrial Engineering, Electronic Design Automation +18

Using simulation and satisfiability to compute flexibilities in Boolean networks

A. Mishchenko, J.S. Zhang, Soham Sinha et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 62 citations

Mathematical Programming, Circuit Complexity, Engineering +21

Regular realization of symmetric functions using reversible logic

Marek Perkowski, Paweł Kerntopf, Andrzej Buller et al. · 2002 · 51 citations

Hardware Security, Circuit Complexity, Symmetric Function +14

Reducing structural bias in technology mapping

Satrajit Chatterjee, A. Mishchenko, Robert K. Brayton et al. · ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. · 2005 · 48 citations

Circuit Complexity, Engineering, Electronic Design Automation +20

Rows per page

1–5 of 16