david-a-plaisted documents

An NP-complete matching problem
Documents An NP-complete matching problem
Heuristic matching for graphs satisfying the triangle inequality
Documents Heuristic matching for graphs satisfying the triangle inequality
A heuristic triangulation algorithm
Documents A heuristic triangulation algorithm
New NP-hard and NP-complete polynomial and integer divisibility problems
Documents New NP-hard and NP-complete polynomial and integer divisibility problems
A relevance restriction strategy for automated deduction
Documents A relevance restriction strategy for automated deduction
The complexity of some complementation problems
Documents The complexity of some complementation problems
A satisfiability procedure for quantified Boolean formulae
Documents A satisfiability procedure for quantified Boolean formulae
A Structure-preserving Clause Form Translation
Documents A Structure-preserving Clause Form Translation
Term rewriting: Some experimental results
Documents Term rewriting: Some experimental results
Non-Horn clause logic programming without contrapositives
Documents Non-Horn clause logic programming without contrapositives
A decision procedure for combinations of propositional temporal logic and other specialized theories
Documents A decision procedure for combinations of propositional temporal logic and other specialized theories
Special Cases and Substitutes for Rigid E-Unification
Documents Special Cases and Substitutes for Rigid E-Unification
Ordered Semantic Hyper-Linking
Documents Ordered Semantic Hyper-Linking
The occur-check problem in Prolog
Documents The occur-check problem in Prolog
The undecidability of self-embedding for term rewriting systems
Documents The undecidability of self-embedding for term rewriting systems
Semantic confluence tests and completion methods
Documents Semantic confluence tests and completion methods