Pages that link to "Item:Q1271277"
From MaRDI portal
The following pages link to OBDDs of a monotone function and its prime implicants (Q1271277):
Displaying 4 items.
- Ordered binary decision diagrams as knowledge-bases (Q1605409) (← links)
- Single-faced Boolean functions and their minimization (Q2765227) (← links)
- Size of OBDD representation of 2-level redundancies functions (Q5941091) (← links)
- OBDDs of a monotone function and of its prime implicants (Q6487433) (← links)