Jie-Hong Roland Jiang

Joined

July 2019

Jie-Hong R. Jiang

****@ntu.edu.tw (Confirmed)

Full Professor

Department of Electrical Engineering, National Taiwan University (ntu.edu.tw)

2013 – 2024

No relations added

No areas of expertise listed

A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.
Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
- 2019 (modified: 10 Nov 2022)
- AAAI2019
- Readers: Everyone
Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection
Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang
- 2018 (modified: 10 Nov 2022)
- IJCAI 2018
- Readers: Everyone
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification
Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone
Clauses Versus Gates in CEGAR-Based 2QBF Solving
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
- 2016 (modified: 16 Jul 2019)
- AAAI Workshop: Beyond NP 2016
- Readers: Everyone
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl
- 2015 (modified: 16 Jul 2019)
- AAAI 2015
- Readers: Everyone