Gå direkte til innholdet
Zhegalkin Polynomial SAT Solver
Spar

Zhegalkin Polynomial SAT Solver

Undertittel
Zhegalkin SAT Solver (ZPSAT) is a efficient alternative to solve Boolean functions systems
ISBN
9786202165372
Språk
Engelsk
Vekt
96 gram
Utgivelsesdato
3.1.2019
Antall sider
52