公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2016 | 2QBF: Challenges and Solutions | Valeriy Balabanov; Jie-Hong Rol; Jiang, Christoph Scholl; Alan Mishchenko; Robert K. Brayton; JIE-HONG JIANG | Int'l Conf. on Theory and Applications of Satisfiability Testing (SAT) | |||
2015 | Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs | Valeriy Balabanov; Jie-Hong R. Jiang; Mikolas Janota; Magdalena Widl; JIE-HONG JIANG | AAAI Conference on Artificial Intelligence (AAAI-15) | |||
2016 | Flexibility and Optimization of QBF Skolem-Herbrand Certificates | Valeriy Balabanov; Shuo-Ren Lin; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 0 | 0 | |
2012 | Henkin Quantifiers and Boolean Formulae | Valeriy Balabanov; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG | Int'l Conference on the Theory and Applications of Satisfiability Test (SAT'12) | 3 | 0 | |
2014 | Henkin quantifiers and Boolean formulae: A certification perspective of DQBF | Valeriy Balabanov; Hui-Ju K. Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG | Theoretical Computer Science (TCS) | 32 | 27 | |
2014 | QBF Resolution Systems and their Proof Complexities | Valeriy Balabanov; Magdalena Widl; Jie-Hong R. Jiang; JIE-HONG JIANG | International Conference on Theory and Applications of Satisfiability Testing (SAT) | 72 | 0 | |
2011 | Resolution Proofs and Skolem Functions in QBF Evaluation and Applications | Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG | Int'l Conf. on Computer Aided Verification (CAV'11) | 25 | 0 | |
2012 | Unified QBF Certification and its Applications | Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG | Formal Methods in System Design (FMSD) | 119 | 82 |