scientific article; zbMATH DE number 1975619

zbMath1023.68669MaRDI QIDQ4424861

Inês Lynce, João P. Marques-Silva

Publication date: 7 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2627/26270144.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

• SATO
• Chaff
• BerkMin

This page was built for publication: