Risolutore SAT polinomiale di Zhegalkin
Jorge Fernández
Broschiertes Buch

Risolutore SAT polinomiale di Zhegalkin

Zhegalkin SAT Solver (ZPSAT) è un'alternativa efficiente per risolvere sistemi di funzioni booleane

Versandkostenfrei!
Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
PAYBACK Punkte
13 °P sammeln!
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 b...