Browsing by Subject q-resolution
Showing results 1 to 3 of 3
| Publication Year | Title | Author(s) | Department |
|---|---|---|---|
| 2013 | 量化布林代數認證之化簡 Simplification of Quantified Boolean Formula Certificates | Shuo-Ren Lin; 林碩紝 | 電子工程學研究所 |
| 2015 | 量詞布林公式之歸結證明系統與正反模型萃取 Certification in Quantified Decision Procedures | Valeriy Balabanov; 包偉力 | 電子工程學研究所 |
| 2011 | 量詞布林公式求解之認證統合 Unified Certification of Quantified Boolean Formula Evaluation | Valeriy Balabanov; 包偉力 | 電子工程學研究所 |