OBDDs, SDDs, and circuits of bounded width: completeness matters

de Colnet, A., Ordyniak, S. orcid.org/0000-0003-1935-651X and Szeider, S. (Accepted: 2025) OBDDs, SDDs, and circuits of bounded width: completeness matters. Artificial Intelligence. ISSN: 0004-3702 (In Press)

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

This is an author produced version of an article accepted for publication in Artifical Intelligence, made available under the terms of the Creative Commons Attribution License (CC-BY), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited.
Dates:
  • Accepted: 18 November 2025
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Funding Information:
Funder
Grant number
EPSRC (Engineering and Physical Sciences Research Council)
EP/V00252X/1
Date Deposited: 21 Nov 2025 11:45
Last Modified: 21 Nov 2025 11:45
Status: In Press
Publisher: Elsevier
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics


CORE (COnnecting REpositories)