Bi-decomposition is a form of Boolean division. In this paper, we choose as divisor an approximation of the function to be decomposed, and characterize as an incompletely specified function the full flexibility of the quotient.
Computing the full quotient in bi-deconposition by approximation
Tiziano Villa
2020-01-01
Abstract
Bi-decomposition is a form of Boolean division. In this paper, we choose as divisor an approximation of the function to be decomposed, and characterize as an incompletely specified function the full flexibility of the quotient.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
