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