2024 ICCAD CAD Contest Problem A: Reinforcement Logic Optimization for a General Cost Function.
Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024
Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
Locating Image Objects With Probability Distributions.
IEEE Signal Process. Lett., 2022
2022 CAD Contest Problem A: Learning Arithmetic Operations from Gate-Level Circuit.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022
2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021
ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
2019 CAD Contest: Logic Regression on High Dimensional Boolean Space.
Proceedings of the International Conference on Computer-Aided Design, 2019
ICCAD-2017 CAD contest in resource-aware patch generation.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015
ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
SoC HW/SW verification and validation.
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011
Interpolant generation without constructing resolution graph.
Proceedings of the 2009 International Conference on Computer-Aided Design, 2009