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
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update
Yun-Rong Luo, Aman Goel, Karem Sakallah. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2024. https://doi.org/10.1007/978-3-031-75380-0_21