Compatible Equivalence Checking of X-Valued Circuits. - Yu-Neng Wang; Yun-Rong Luo; Po-Chun Chien; Ping-Lun Wang; Hao-Ren Wang; Wan-Hsuan Lin; Jie-Hong Roland Jiang; Chung-Yang (Ric) Huang (ICCAD, 2021)

A Resolution Proof System for Dependency Stochastic Boolean Satisfiability. - Yun-Rong Luo; Che Cheng; Jie-Hong R. Jiang (J. Autom. Reason., 2023)

Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability. - Che Cheng; Yun-Rong Luo; Jie-Hong R. Jiang (IJCAI, 2024)

SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update. - Yun-Rong Luo; Aman Goel; Karem A. Sakallah (ISoLA (3), 2024)

QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols. - Yun-Rong Luo; Aman Goel; Karem A. Sakallah (CAV (3), 2025)