Alan Mishchenko

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
High quality circuit-based 3-SAT mappings for oscillator Ising machines	2025-03-12	Paper
Automated Synthesis of Protocol Converters with BALM-II Software Engineering and Formal Methods	2021-05-18	Paper
Fast Exact NPN Classification by Co-Designing Canonical Form and Its Computation Algorithm IEEE Transactions on Computers	2020-10-02	Paper
Rewriting environment for arithmetic circuit verification EPiC Series in Computing	2019-07-04	Paper
Pairs of majority-decomposing functions Information Processing Letters	2018-10-19	Paper
To SAT or Not to SAT: Scalable Exploration of Functional Dependency IEEE Transactions on Computers	2017-07-27	Paper
Heuristic NPN classification for large functions using AIGs and LEXSAT Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
2QBF: challenges and solutions Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
The Unknown Component Problem	2012-02-02	Paper
Applying Logic Synthesis for Speeding Up SAT Theory and Applications of Satisfiability Testing – SAT 2007	2009-03-10	Paper
scientific article; zbMATH DE number 2209882 (Why is no real title available?)	2005-09-28	Paper

Research outcomes over time

This page was built for person: Alan Mishchenko