Yun-Rong Luo

According to our database, Yun-Rong Luo authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols.

Yun-Rong Luo, Aman Goel, Karem A. Sakallah

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update.

Yun-Rong Luo, Aman Goel, Karem A. Sakallah

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability.

Che Cheng, Yun-Rong Luo, Jie-Hong R. Jiang

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

A Resolution Proof System for Dependency Stochastic Boolean Satisfiability.

Yun-Rong Luo, Che Cheng, Jie-Hong R. Jiang

J. Autom. Reason., September, 2023

2021

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

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021