reposiTUm
Publications of "Variable Dependencies of Quantified Boolean Formulas"
Journal Articles
Ganian, R., Kim, E. J., Slivovsky, F., & Szeider, S. (2022). Sum-of-Products with Default Values: Algorithms and Complexity Results.
Journal of Artificial Intelligence Research
,
73
, 535–552.
https://doi.org/10.1613/JAIR.1.12370
(
reposiTUm
)