
Solveur SAT de polynômes de Zhegalkin
- Undertitel
- Zhegalkin SAT Solver ZPSAT est une alternative efficace pour résoudre les systèmes de fonctions booléennes
- ISBN
- 9786206413721
- Språk
- Franska
- Vikt
- 96 gram
- Utgivningsdatum
- 2023-08-31
- Förlag
- Editions Notre Savoir
- Sidor
- 52
