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

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

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 SzeiderJournal of Artificial Intelligence Research, volume 33, pages 535–552, 2022.

Bibtex Entry:

@string{jair="Journal of Artificial Intelligence Research"}
@Article{GanianKimSlivovskySzeider22,
  author       = {Robert Ganian and Eun Jung Kim and Friedrich
                  Slivovsky and Stefan Szeider},
  title        = {Sum-of-Products with Default Values: Algorithms and Complexity Results},
  year         = {2022},
  journal = JAIR,
  volume  = {33},
  pages = {535--552},
  keywords     = {ParAI,nfpc,QBF},
  url          = {https://jair.org/index.php/jair/article/view/12370}
}