A propositional theorem prover to solve planning and other problems
From MaRDI portal
Publication:1978018
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
Uses Software