Studio e sviluppo di algoritmi efficienti per trasformare una qualsiasi formula proposizionale in forma normale ortogonale. Ciò ha importanti conseguenze nel campo della teoria della complessità , dato che trasforma problemi NP completi in problemi risolubili polinomialmente.
Orthogonalization of a Boolean Function / Bruni, Renato; P. L., Hammer; E., Boros. - (1999).
Orthogonalization of a Boolean Function
BRUNI, Renato;
1999
Abstract
Studio e sviluppo di algoritmi efficienti per trasformare una qualsiasi formula proposizionale in forma normale ortogonale. Ciò ha importanti conseguenze nel campo della teoria della complessità , dato che trasforma problemi NP completi in problemi risolubili polinomialmente.File allegati a 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.
