Hao-Ren Wang

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

Mobile Augmented Reality

Boolean Satisfiability

Point Cloud Data

Top Venues

J. Comput. Sci. Technol.

Publications

Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl
Quantifier Elimination in Stochastic Boolean Satisfiability. SAT (2022)
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)
Hao-Ren Wang, Juan Lei, Ao Li, Yihong Wu
A Geometry-Based Point Cloud Reduction Method for Mobile Augmented Reality System. J. Comput. Sci. Technol. 33 (6) (2018)