
Zhegalkin Polynomial SAT Solver
- Alaotsikko
- Zhegalkin SAT Solver (ZPSAT) is a efficient alternative to solve Boolean functions systems
- Kirjailija
- Jorge Fernandez Davila
- ISBN
- 9786202165372
- Kieli
- englanti
- Paino
- 96 grammaa
- Julkaisupäivä
- 3.1.2019
- Kustantaja
- Editorial Académica Española
- Sivumäärä
- 52