New implementation technique for model generation theorem provers to solve constraint satisfaction problems

Research Reports on Information Science and Electrical Engineering of Kyushu University

Volumn 4, Issue 1, 1999, Pages 57-62

  Hasegawa, Ryuzo ^a   Fujita, Hiroshi ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DATA STRUCTURES; INDEXING (OF INFORMATION); JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

CONSTRAINT SATISFACTION PROBLEMS; MODEL-GENERATION THEOREM PROVERS (MGTP);

THEOREM PROVING;

EID: 0032674972     PISSN: 13423819     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (4)

1. Java, Vol. 3, No. 1, (1998) 63-68.
2. G. Sutcliffe, C. Suttner and T. Yemenis, "The TPTP Problem Library," Proc. CADE-12, (1994) 252-266.