scientific article; zbMATH DE number 1759715

zbMath0989.68526MaRDI QIDQ4536728

Toby Walsh

Publication date: 6 August 2002

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)

The state of SAT ⋮ A case study of mutual routing-scheduling reformulation

Uses Software

• Walksat

This page was built for publication: