@inproceedings{GanianKimSlivovskySzeider18,
 author = {Robert Ganian and Eun Jung Kim and Friedrich
Slivovsky and Stefan Szeider},
 booktitle = {Proceedings of {ICTAI} 2018, the 30th IEEE International Conference on Tools with Artificial Intelligence},
 doi = {10.1109/ICTAI.2018.00115},
 editor = {Lefteri H. Tsoukalas and
{\'{E}}ric Gr{\'{e}}goire and
Miltiadis Alamaniotis},
 keywords = {QBF},
 pages = {733--737},
 publisher = {{IEEE}},
 title = {Sum-of-Products with Default Values: Algorithms and Complexity Results},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-18-007.pdf},
 year = {2018}
}