https://scholars.lib.ntu.edu.tw/handle/123456789/388879
Title: | QBF Resolution Systems and their Proof Complexities | Authors: | Valeriy Balabanov Magdalena Widl Jie-Hong R. Jiang JIE-HONG JIANG |
Issue Date: | Jul-2014 | Start page/Pages: | 154-169 | Source: | International Conference on Theory and Applications of Satisfiability Testing (SAT) | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/388879 | DOI: | 10.1007/978-3-319-09284-3_12 |
Appears in Collections: | 電子工程學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.