Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms

Christian Komusiewicz, André Schidler, Frank Sommer, Manuel Sorge, Luca Pascal Staus
2/14/2026

No confident code implementation found for this paper.

Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{komusiewicz2026learning,
  title  = {Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms},
  author = {Christian Komusiewicz and André Schidler and Frank Sommer and Manuel Sorge and Luca Pascal Staus},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:422fc7392f1758e0a7863c2b98ba8e7b776d4758},
  journal = {ICML 2025 2025}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/422fc7392f1758e0a7863c2b98ba8e7b776d4758.svg)](https://codeofpaper.com/paper/422fc7392f1758e0a7863c2b98ba8e7b776d4758)

Discussion