scientific article; zbMATH DE number 1560491

zbMath0963.68076MaRDI QIDQ4527270

Ronen I. Brafman

Publication date: 4 June 2001

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

zbMATH Keywords

reachable-\(k\)relevant-\(k\)SAT-level pruning methods

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (1)

Modeling agents as qualitative decision makers

Uses Software

• Walksat
• Graphplan

This page was built for publication: