Jiang, Jie-Hong Roland

3 publications

AAAI 2025 Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking Hiroshi Unno, Takeshi Tsukada, Jie-Hong Roland Jiang

AAAI 2019 A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst

AAAI 2015 Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl