Resolution, Refinements, and Search Strategies: A Comparative Study
From MaRDI portal
Publication:4096460
DOI10.1109/TC.1976.1674697zbMath0331.68052OpenAlexW1525644138MaRDI QIDQ4096460
Publication date: 1976
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.1976.1674697
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
The rue theorem-proving system: The complete set of LIM+ challenge problems ⋮ Controlled integration of the cut rule into connection tableau calculi ⋮ A Prolog technology theorem prover: Implementation by an extended Prolog compiler ⋮ Jack Minker --- A profile ⋮ Unrestricted resolution versus N-resolution ⋮ A pragmatic approach to resolution-based theorem proving ⋮ Inference approach based on Petri nets
This page was built for publication: Resolution, Refinements, and Search Strategies: A Comparative Study
