A propositional theorem prover to solve planning and other problems

DOI10.1023/A:1018998610179zbMath0940.68117OpenAlexW1537720255MaRDI QIDQ1978018

Fumiaki Okushi, Allen van Gelder

Publication date: 7 June 2000

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018998610179

zbMATH Keywords

modocpanning problem

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Walksat
• SATO