Sum-of-Products with Default Values: Algorithms and Complexity Results

Ganian, Robert; Kim, Eun Jung; Slivovsky, Friedrich; Szeider, Stefan

doi:10.1109/ICTAI.2018.00115

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}
}