Alan Mishchenko

Available identifiers

zbMath Open mishchenko.alanMaRDI QIDQ1799567

List of research outcomes

Publication	Date of Publication	Type
Automated Synthesis of Protocol Converters with BALM-II	2021-05-18	Paper
Fast Exact NPN Classification by Co-Designing Canonical Form and Its Computation Algorithm	2020-10-02	Paper
Rewriting environment for arithmetic circuit verification	2019-07-04	Paper
Pairs of majority-decomposing functions	2018-10-19	Paper
To SAT or Not to SAT: Scalable Exploration of Functional Dependency	2017-07-27	Paper
Heuristic NPN classification for large functions using AIGs and LEXSAT	2016-09-05	Paper
2QBF: challenges and solutions	2016-09-05	Paper
The Unknown Component Problem	2012-02-02	Paper
Applying Logic Synthesis for Speeding Up SAT	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5692871	2005-09-28	Paper

Research outcomes over time

This page was built for person: Alan Mishchenko