
Solveur SAT de polynômes de Zhegalkin
- Undertittel
- Zhegalkin SAT Solver ZPSAT est une alternative efficace pour résoudre les systèmes de fonctions booléennes
- ISBN
- 9786206413721
- Språk
- Fransk
- Vekt
- 96 gram
- Utgivelsesdato
- 31.8.2023
- Forlag
- Editions Notre Savoir
- Antall sider
- 52
