公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
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 |