| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |
Manage
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).