Publication:4671220

zbMath1069.68084MaRDI QIDQ4671220

Jiming Liu, Xiaolong Jin, Kwok Ching Tsui

Publication date: 26 April 2005

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68T01: General topics in artificial intelligence

Uses Software

• SATLIB
• PVM
• Genocop