2024/02/27	Paper on "Boolean Matching Reversible Circuits: Algorithm and Complexity" accepted by the Design Automation Conference (DAC-24).
2023/12/10	Paper on "Unifying Decision and Function Queries in Stochastic Boolean Satisfiability" accepted by the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24).
2023/11/30	Paper on "VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion" published in 2023 IEEE International Conference on Quantum Computing and Engineering (QCE).
2023/11/30	Paper on "WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits" published in 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD).
2023/09/15	Paper on "Don't-Care Aware ESOP Extraction via Reduced Decomposition-Tree Exploration" published in 2023 60th ACM/IEEE Design Automation Conference (DAC).
2023/06/26	Paper on "Second-Order Quantified Boolean Logic" published in Proceedings of the AAAI Conference on Artificial Intelligence 2023 (AAAI-23).
2023/06/26	Paper on "SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver" published in Proceedings of the AAAI Conference on Artificial Intelligence 2023 (AAAI-23).
2023/06/26	Paper on "Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT" published in Proceedings of the AAAI Conference on Artificial Intelligence 2023 (AAAI-23).
2023/05/04	Paper on "A Resolution Proof System for Dependency Stochastic Boolean Satisfiability" accepted by Journal of Automated Reasoning.
2023/03/17	Paper on "Circuit Learning: From Decision Trees to Decision Graphs" published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 2023.
2022/12/22	Paper on "Language Equation Solving via Boolean Automata Manipulation" published in Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design (ICCAD'22).
2022/11/22	Paper on "Partial Equivalence Checking of Quantum Circuits" published in 2022 IEEE International Conference on Quantum Computing and Engineering (QCE).
2022/11/06	Paper on "Reconfigurable Biochemical Circuit Synthesis from Biomachine Specification" published in 2022 IEEE Biomedical Circuits and Systems Conference (BioCAS).
2022/09/08	Paper on "Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective" published in IEEE Journal on Emerging and Selected Topics in Circuits and Systems (2022).
2022/09/08	Paper on "Design and Automation for Quantum Computation and Quantum Technologies" published in IEEE Journal on Emerging and Selected Topics in Circuits and Systems (2022).
2022/08/23	Paper on "Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification" published in Proceedings of the 59th ACM/IEEE Design Automation Conference (DAC'22).
2022/07/29	Paper on "Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability" published in Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI'22).
2022/07/28	Paper on "Quantifier Elimination in Stochastic Boolean Satisfiability" published in 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022).
2022/06/15	Paper on "Quantized Neural Network Synthesis for Direct Logic Circuit Implementation" published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 2022.
2021/05/10	Paper on "Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation" published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2022).
2021/02/09	Paper on "Homing Sequence Derivation With Quantified Boolean Satisfiability" published in IEEE Transactions on Computers (2022).