Automated reasoning and exhaustive search: Quasigroup existence problems
| Data(s) |
1995
|
|---|---|
| Identificador | |
| Idioma(s) |
英语 |
| Fonte |
J. Slaney,M. Fujita,M. Stickel.Automated reasoning and exhaustive search: Quasigroup existence problems.Computers & Mathematics with Applications,1995,29(2):115-132 |
| Palavras-Chave | #Quasigroups #Exhaustive search #Consistent labeling #Automated reasoning programs |
| Tipo |
期刊论文 |
