论文信息 - FINDER: Finite Domain Enumerator - System Description - 字舞流文

FINDER: Finite Domain Enumerator - System Description

John K. Slaney | J. Slaney

[1] M. Stickel,et al. Automated reasoning and exhaustive search: Quasigroup existence problems☆ , 1995 .

[2] John K. Slaney. SCOTT: A Model-Guided Theorem Prover , 1993, IJCAI.

[3] Masayuki Fujita,et al. Automatic Generation of Some Results in Finite Algebra , 1993, IJCAI.