Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results
暂无分享,去创建一个
[1] M. Stickel,et al. Automated reasoning and exhaustive search: Quasigroup existence problems☆ , 1995 .
[2] Martin Grötschel,et al. On the structure of the monotone asymmetric travelling salesman polytope I: hypohamiltonian facets , 1981, Discret. Math..
[3] Masayuki Fujita,et al. Automatic Generation of Some Results in Finite Algebra , 1993, IJCAI.
[4] Frank E. Bennett,et al. The spectra of a variety of quasigroups and related combinatorial designs , 1989, Discret. Math..
[5] M. Bonacina,et al. Cumulating search in a distributed computing environment: a case study in parallel satisfiability , 1994 .