Problem solving by searching for models with a theorem prover
type: Item
instance of: scholarly article
title: Problem solving by searching for models with a theorem prover
zbMATH Open document ID: 0941.68740
DOI: 10.1016/0004-3702(94)90082-5
author: Shie-Jue Lee
author: David A. Plaisted
published in: Artificial Intelligence
publication date: 1996-02-26T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 683693
describes a project that uses: OTTER
MaRDI profile type: Publication
full work available at URL: 0004-3702(94)90082-5
OpenAlex ID: W2047274827
cites work: Q3954845
cites work: Q3894958
cites work: Q4431379
cites work: Q5679729
cites work: The complexity of theorem-proving procedures
cites work: A Computing Procedure for Quantification Theory
cites work: Q3489523
cites work: Network-based heuristics for constraint-satisfaction problems
cites work: Synthesizing constraint expressions
cites work: On the complexity of regular resolution and the Davis-Putnam procedure
cites work: Q3789107
cites work: Eliminating dublication with the hyper-linking strategy
cites work: Complexity results for classes of quantificational formulas
cites work: Q4139711
cites work: Problem corner: Non-Horn problems
cites work: Consistency in networks of relations
cites work: Complete problems in the first-order predicate calculus
cites work: Non-Horn clause logic programming without contrapositives
cites work: Q3484382
cites work: A structure-preserving clause form translation
cites work: Theorem-Proving on the Computer
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q3742689
cites work: A Prolog technology theorem prover: Implementation by an extended Prolog compiler
cites work: Q3829089
description: scientific article; zbMATH DE number 683693