Multi-level Logic Synthesis Based on Kronecker Decision Diagramsand Boolean Ternary Decision Diagrams for Incompletely Speci edFunctionsMarek