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