OBDDs, SDDs, and Circuits of Bounded Width: Completeness Matters

Colnet, Alexis De; Ordyniak, Sebastian; Szeider, Stefan

doi:10.1016/J.ARTINT.2025.104458

by Alexis De Colnet, Sebastian Ordyniak, Stefan Szeider

Reference:

OBDDs, SDDs, and Circuits of Bounded Width: Completeness MattersAlexis De Colnet, Sebastian Ordyniak, Stefan SzeiderArtificial Intelligence, volume 351, pages 104458, 2026.

Bibtex Entry:

@string{ai="Artificial Intelligence"}
@article{DeColnetOS26,
  author       = {Alexis De Colnet and
                  Sebastian Ordyniak and
                  Stefan Szeider},
  title        = {{OBDDs}, {SDDs}, and Circuits of Bounded Width: Completeness Matters},
  journal      = AI,
  volume       = {351},
  pages        = {104458},
  year         = {2026},
  url          = {https://doi.org/10.1016/j.artint.2025.104458},
  doi          = {10.1016/J.ARTINT.2025.104458},
  keywords     = {strides,asksat,reveal},
}