O. Beyersdorff
AuthID: R-006-GM7
1
TITLE: Proof complexity of resolution-based QBF calculi
AUTHORS: Beyersdorff, O; Chew, L; Janota, M;
PUBLISHED: 2015, SOURCE: 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 30
AUTHORS: Beyersdorff, O; Chew, L; Janota, M;
PUBLISHED: 2015, SOURCE: 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 30
INDEXED IN: 
Scopus
Scopus