scientific article; zbMATH DE number 1961995

zbMath1033.68627MaRDI QIDQ4418385

Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao

Publication date: 10 August 2003

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

Related Items (2)

A competitive and cooperative approach to propositional satisfiability ⋮ Scatter search and genetic algorithms for MAX-SAT problems

Uses Software

• UnitWalk
• SATO
• Chaff

This page was built for publication: