Publication
(All)

Results 1-1 of 1 (Search time: 0.012 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
12015Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsValeriy Balabanov; Jie-Hong R. Jiang; Mikolas Janota; Magdalena Widl; JIE-HONG JIANG AAAI Conference on Artificial Intelligence (AAAI-15) 22