Real Numbers and BDDs

DOI10.1016/S1571-0661(04)80385-2zbMath1261.68051OpenAlexW2008660187MaRDI QIDQ4916190

Norbert Th. Müller

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80385-2

Mathematics Subject Classification ID

Searching and sorting (68P10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Uses Software

• iRRAM

Cites Work

• Branching Programs and Binary Decision Diagrams
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Real Numbers and BDDs