Directed Automated Theorem Proving
- 24 October 2002
- book chapter
- Published by Springer Nature
- p. 145-159
- https://doi.org/10.1007/3-540-36078-6_10
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Automated complexity analysis based on ordered resolutionJournal of the ACM, 2001
- Using temporal logics to express search control knowledge for planningPublished by Elsevier ,2000
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Optimizing proof search in model eliminationPublished by Springer Nature ,1996
- Optimal purely functional priority queuesJournal of Functional Programming, 1996
- Linear-space best-first searchArtificial Intelligence, 1993
- SETHEO: A high-performance theorem proverJournal of Automated Reasoning, 1992
- Fibonacci heaps and their uses in improved network optimization algorithmsJournal of the ACM, 1987
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- A note on two problems in connexion with graphsNumerische Mathematik, 1959