Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between Tuesday, July 16 and Tuesday, July 23.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Risolutore SAT polinomiale di Zhegalkin (in Italian)
Fernández, Jorge
Synopsis "Risolutore SAT polinomiale di Zhegalkin (in Italian)"
I sistemi polinomiali sono strumenti fondamentali per la soluzione di problemi difficili in campo scientifico e ingegneristico, come la robotica, il ragionamento automatico, l'intelligenza artificiale e l'elaborazione dei segnali. Allo stesso modo, fin dai primi giorni dell'era digitale, le variabili booleane sono state alla base delle operazioni dei computer. Pertanto, l'applicazione delle comuni tecniche algebriche all'algebra booleana viene ora utilizzata come metodo per risolvere sistemi di equazioni booleane complesse che in precedenza potevano essere risolte solo con tecniche di logica booleana. L'obiettivo di questo progetto è dimostrare che i polinomi di Zhegalkin (noti anche come Algebraic Normal Form - ANF) sono un modo alternativo per rappresentare le funzioni booleane. Per verificare l'ipotesi, è stato sviluppato un risolutore SAT Zhegalkin (ZPSAT). I risultati dei test hanno dimostrato che ZPSAT è in grado di risolvere una congiunzione di equazioni XOR in modo efficiente in termini di affidabilità e tempo di calcolo. L'euristica utilizzata per costruire ZPSAT si è basata principalmente sui concetti utilizzati dalle formule di Horn e su un metodo di moltiplicazione rapida di due polinomi ANF noto come trasformata di Mobius.
