@inproceedings{EibenGanianOrdyniak18,
 author = {Eduard Eiben and 
Robert Ganian and
Sebastian Ordyniak},
 booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS} 2018, February 28--March 3, 2018, Caen, France},
 editor = {Rolf Neidermeier and 
Brigitte Vall{\' e}e},
 keywords = {xtract},
 pages = {28:1--28:15},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 series = {LIPIcs},
 title = {Small Resolution Proofs for {QBF} using Dependency Treewidth},
 url = {http://drops.dagstuhl.de/opus/volltexte/2018/8513/},
 volume = {96},
 year = {2018}
}