Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs

Valeriy BalabanovJie-Hong R. JiangMikolas JanotaMagdalena WidlJIE-HONG JIANG2018-09-102018-09-102015-01http://scholars.lib.ntu.edu.tw/handle/123456789/394745Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofsconference paper2-s2.0-84961226431