State-space problem-reduction, and theorem proving—some relationships
From MaRDI portal
Publication:4086735
DOI10.1145/360666.360672zbMath0323.68054MaRDI QIDQ4086735
Jack Minker, Gordon J. VanderBrug
Publication date: 1975
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/360666.360672
Related Items
Representations of the language recognition problem for a theorem prover, The Earley algorithm as a problem representation, Generalized AND/OR graphs, Semantics in problem representation and search, Problem representations and formal properties of heuristic search, An integrated model of problem solver, A general heuristic bottom-up procedure for searching AND/OR graphs