Risultati della ricerca - Gaysin, Azza
- Mostra 1 - 2 risultati su 2
-
1
Proof complexity of universal algebra in a CSP dichotomy proof Autoría: Gaysin, Azza
Pubblicazione 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Proof complexity of Mal'tsev CSP Autoría: Gaysin, Azza
Pubblicazione 2025Fuente: arXivTipo de material: PreprintAcceso al recurso