research
∙
08/23/2023
Fast Exact NPN Classification with Influence-aided Canonical Form
NPN classification has many applications in the synthesis and verificati...
share
research
∙
01/28/2023
Rethinking NPN Classification from Face and Point Characteristics of Boolean Functions
NPN classification is an essential problem in the design and verificatio...
research
∙
07/18/2022
The Complexity of Quantum Circuit Mapping with Fixed Parameters
A quantum circuit must be preprocessed before implementing on NISQ devic...
research
∙
11/11/2021
Enhanced Fast Boolean Matching based on Sensitivity Signatures Pruning
Boolean matching is significant to digital integrated circuits design. A...
research
∙
03/22/2021
Variational quantum compiling with double Q-learning
Quantum compiling aims to construct a quantum circuit V by quantum gates...
research
∙
07/13/2020
RNA-2QCFA: Evolving Two-way Quantum Finite Automata with Classical States for RNA Secondary Structures
Recently, the use of mathematical methods and computer science applicati...
research
∙
07/08/2020
A Quantum Finite Automata Approach to Modeling the Chemical Reactions
In recent years, the modeling interest has increased significantly from ...
research
∙
06/27/2020