QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols
Yun-Rong Luo, Aman Goel, Karem Sakallah. In Computer Aided Verification (CAV), 2025. https://link.springer.com/chapter/10.1007/978-3-031-98682-6_14
Publications
You can also find my articles on my Google Scholar profile.
Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability
Che Cheng*, Yun-Rong Luo*, Jie-Hong Roland Jiang. In International Joint Conference on Artificial Intelligence (IJCAI), 2024. https://doi.org/10.24963/ijcai.2024/206
A Resolution Proof System for Dependency Stochastic Boolean Satisfiability
Yun-Rong Luo*, Che Cheng*, Jie-Hong Roland Jiang. In Journal of Automated Reasoning, 2023. https://link.springer.com/article/10.1007/s10817-023-09670-6
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. In International Conference On Computer Aided Design (ICCAD), 2021. https://ieeexplore.ieee.org/document/9643515