Hao-Ren Wang

According to our database¹, Hao-Ren Wang authored at least 3 papers between 2018 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Quantifier Elimination in Stochastic Boolean Satisfiability.

[BibT_eX]

[DOI]

Hao-Ren Wang

Kuan-Hua Tu

Jie-Hong Roland Jiang

Christoph Scholl

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Compatible Equivalence Checking of X-Valued Circuits.

[BibT_eX]

[DOI]

Jie-Hong Roland Jiang

Chung-Yang (Ric) Huang

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

2018

A Geometry-Based Point Cloud Reduction Method for Mobile Augmented Reality System.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2018

Hao-Ren Wang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...