|
2024/09/11
|
Congrats to Yu-Hao Ko (柯昱豪) and Chih-Cheng Hsu (許志誠) for earning 1st place in the 2024 CADathlon.
|
|
2024/02/27
|
Paper on "Boolean Matching Reversible Circuits: Algorithm and Complexity" accepted by the Design Automation Conference (DAC-24).
|
|
2023/12/15
|
Congrats to Tian-Fu Chen (陳天富) for earning the 2023 Hon Hai Technology Award (鴻海科技獎).
|
|
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).
|
