scientific article; zbMATH DE number 1775052

zbMATH Open1052.68135MaRDI QIDQ4542178

Christian Stangier, Christoph Meinel

Publication date: 4 August 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

ordered binary decision diagrams

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Computer system organization (68M99)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Boolean function complexity. Advances and frontiers. 👍 👎
• Graph driven BDDs -- a new data structure for Boolean functions 👍 👎
• Boolean functional synthesis: hardness and practical algorithms 👍 👎
• BDD-Based Boolean Functional Synthesis 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4542178)