Problem corner: Non-Horn problems

zbMath0614.68069MaRDI QIDQ1819949

Ewing L. Lusk, Ross A. Overbeek

Publication date: 1985

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated reasoningproblems

Mathematics Subject Classification ID

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

Related Items (2)

Problem solving by searching for models with a theorem prover ⋮ Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures

This page was built for publication: Problem corner: Non-Horn problems