The following pages link to (Q5140714):
Displaying 5 items.
- FK-B (Q54999) (← links)
- Dualization of Boolean functions using ternary decision diagrams (Q513353) (← links)
- Fast dimension reduction using Rademacher series on dual BCH codes (Q1042451) (← links)
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- New theoretical results on the monotone Boolean duality and the monotone Boolean dualization problems (Q6657241) (← links)