Resolution Proofs and Skolem Functions in QBF Evaluation and Applications

Valeriy BalabanovJie-Hong R. JiangJIE-HONG JIANG2018-09-102018-09-102011-07http://scholars.lib.ntu.edu.tw/handle/123456789/366805[SDGs]SDG16Resolution Proofs and Skolem Functions in QBF Evaluation and Applicationsconference paper10.1007/978-3-642-22110-1_122-s2.0-79960350492