The role of heuristics in automated theorem proving

Mathware and Soft Computing 3:281-293 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
Automated creation of pattern database search heuristics.Stefan Edelkamp - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 35--50.
Evaluating general purpose automated theorem proving systems.Geoff Sutcliffe & Christian Suttner - 2001 - Artificial Intelligence 131 (1-2):39-54.
The nature of heuristics.Douglas B. Lenat - 1982 - Artificial Intelligence 19 (2):189-249.
Planning as satisfiability: Heuristics.Jussi Rintanen - 2012 - Artificial Intelligence 193 (C):45-86.
Automated choice heuristics.Shane Frederick - 2002 - In Daniel Kahneman & Shane Frederick (eds.). Cambridge University Press. pp. 548-558.
Landmark-enhanced abstraction heuristics.Carmel Domshlak, Michael Katz & Sagi Lefler - 2012 - Artificial Intelligence 189 (C):48-68.
Disjoint pattern database heuristics.Richard E. Korf & Ariel Felner - 2002 - Artificial Intelligence 134 (1-2):9-22.
Inconsistent heuristics in theory and practice.Ariel Felner, Uzi Zahavi, Robert Holte, Jonathan Schaeffer, Nathan Sturtevant & Zhifu Zhang - 2011 - Artificial Intelligence 175 (9-10):1570-1603.
Admissibility of AO∗ when heuristics overestimate.P. P. Chakrabarti, S. Ghose & S. C. DeSarkar - 1987 - Artificial Intelligence 34 (1):97-113.

Analytics

Added to PP
2013-06-26

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references