Sign in

Counterexamples to the long-standing conjecture on the complexity of BDD binary operations.

Ryo YoshinakaJun KawaharaShuhei DenzumiHiroki ArimuraShin-ichi Minato
Published in: Inf. Process. Lett. (2012)
Keyphrases