Siirry suoraan sisältöön
Zhegalkin Polynomial SAT Solver
Tallenna

Zhegalkin Polynomial SAT Solver

Alaotsikko
Zhegalkin SAT Solver (ZPSAT) is a efficient alternative to solve Boolean functions systems
ISBN
9786202165372
Kieli
englanti
Paino
96 grammaa
Julkaisupäivä
3.1.2019
Sivumäärä
52