Yun-Rong Luo

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Randomly Generated

Boolean Satisfiability

Probabilistic Planning

Top Venues

J. Autom. Reason.

Publications

Yun-Rong Luo, Che Cheng, Jie-Hong R. Jiang
A Resolution Proof System for Dependency Stochastic Boolean Satisfiability. J. Autom. Reason. 67 (3) (2023)
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
Compatible Equivalence Checking of X-Valued Circuits. ICCAD (2021)