scientific article; zbMATH DE number 1555941

zbMath0953.68596MaRDI QIDQ4525708

Jun Gu

Publication date: 24 January 2001

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)

Related Items (1)

The \(Multi\)-SAT algorithm

This page was built for publication: