mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
Stefan Ellmauthaler
7d9e99b900
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
3 lines
200 B
Markdown
3 lines
200 B
Markdown
# OBDD - ordered binary decision diagram
|
|
|
|
An ordered binary decision diagram is a normalised representation of binary functions, where satisfiability- and validity checks can be done relatively cheap. |