scientific article; zbMATH DE number 1929156

zbMath1013.68551MaRDI QIDQ4708203

Jian Zhang, Zhuo Huang, Wen-Hui Zhang

Publication date: 17 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2417/24170108.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Uses Software

• PSATO
• SATO