论文信息 - System Description: Generating Models by SEM - 字舞流文

System Description: Generating Models by SEM

Hantao Zhang | Jian Zhang | Hantao Zhang | Jian Zhang

[1] Hantao Zhang,et al. SEM: a System for Enumerating Models , 1995, IJCAI.

[2] Hantao Zhang,et al. ModGen: Theorem Proving by Model Generation , 1994, AAAI.

[3] John K. Slaney,et al. FINDER: Finite Domain Enumerator - System Description , 1994, CADE.

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

[5] François Bry,et al. SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.

[6] L. Wos. Automated reasoning , 1987 .

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