
Solveur SAT de polynômes de Zhegalkin
- Alaotsikko
- Zhegalkin SAT Solver ZPSAT est une alternative efficace pour résoudre les systèmes de fonctions booléennes
- ISBN
- 9786206413721
- Kieli
- Ranska
- Paino
- 96 grammaa
- Julkaisupäivä
- 31.8.2023
- Kustantaja
- Editions Notre Savoir
- Sivumäärä
- 52