
Zhegalkin Polynomial SAT Solver
- Undertitel
- Zhegalkin SAT Solver (ZPSAT) is a efficient alternative to solve Boolean functions systems
- Författare
- Jorge Fernandez Davila
- ISBN
- 9786202165372
- Språk
- Engelska
- Vikt
- 96 gram
- Utgivningsdatum
- 2019-01-03
- Sidor
- 52