Truth-Table Net: A New Convolutional Architecture Encodable by Design into SAT Formulas
| Autor: | Adrien Benamira, Thomas Peyrin, Bryan Hooi Kuen-Yew |
|---|---|
| Rok vydání: | 2023 |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783031250552 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|