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 / 電子工程學研究所
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
Details
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
Journal
AAAI Conference on Artificial Intelligence (AAAI-15)
Pages
3694-3701
Date Issued
2015-01
Author(s)
Valeriy Balabanov
Jie-Hong R. Jiang
Mikolas Janota
Magdalena Widl
JIE-HONG JIANG
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/394745
Type
conference paper
