Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electronics Engineering / 電子工程學研究所
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
Details
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
Journal
Int'l Conf. on Computer Aided Verification (CAV'11)
Pages
149-164
Date Issued
2011-07
Author(s)
Valeriy Balabanov
Jie-Hong R. Jiang
JIE-HONG JIANG
DOI
10.1007/978-3-642-22110-1_12
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/366805
SDGs
[SDGs]SDG16
Type
conference paper
