Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
Blog Post number 4
Published:
Blog Post number 3
Published:
Blog Post number 2
Published:
Blog Post number 1
Published:
publications
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
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
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
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