@inproceedings{OrdyniakPaulusmaSzeider10,
 author = {Sebastian Ordyniak and
Dani{\"e}l Paulusma and
Stefan Szeider},
 booktitle = {IARCS Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, FSTTCS 2010, December
15-18, 2010, Chennai, India},
 editor = {Kamal Lodaya and
Meena Mahajan},
 pages = {84-95},
 publisher = {Leibniz-Zentrum fuer Informatik},
 series = {LIPIcs},
 title = {Satisfiability of Acyclic and Almost Acyclic {CNF} Formulas},
 volume = {8},
 year = {2010}
}