Partitioned ROBDDs—a compact, canonical and efficiently manipulable representation for Boolean functions

v1

Type:Conference Paper

0 views

[![NobleID](https://www.nobleid.org/api/badge/FCF1AF4F.svg?ark=w1%2F20260515%2FFCF1AF4F)](https://nobleid.org/work/w1/20260515/FCF1AF4F)

ARK Inflections

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors