GENERATION AND VERIFICATION OF FINITE-MODELS AND COUNTEREXAMPLES USING AN AUTOMATED THEOREM PROVER ANSWERING 2 OPEN QUESTIONS

被引：21

作者：

WINKER, S ^{[1
]}

机构：

[1] NO ILLINOIS UNIV,DEKALB,IL 60115

来源：

关键词：

D O I：

10.1145/322307.322308

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：273 / 284

页数：12

共 8 条

[1]

CHINTHAY, 1969, NOT AM MATH SOC, V16, P654

[2] TERNARY BOOLEAN ALGEBRA [J].

GRAU, AA .

[3]

Knuth D., 1970, COMPUTATIONAL PROBLE, P263

[4]

MCCHAREN JD, 1976, IEEE T COMPUT, V25, P773, DOI 10.1109/TC.1976.1674696

[5]

Overbeek R. A., 1975, Computers & Mathematics with Applications, V1, P201, DOI 10.1016/0898-1221(75)90019-X

[6] CONCEPT OF DEMODULATION IN THEOREM PROVING [J].

WOS, L ;

ROBINSON, GA ;

CARSON, DF ;

SHALLA, L .

[7]

WOS L, 1970, P IRIA S AUTOMATIC D, P276

[8]

[No title captured]