Skip to search formSkip to main contentSkip to account menu

Search tree

Known as: Search tree property 
In computer science, a search tree is a tree data structure used for locating specific keys from within a set. In order for a tree to function as a… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
We investigate an alternative presentation of classical and pos- itive modal logic where the coalgebraic cover modality is taken… 
2006
2006
Decision support systems issue a large number of online analytical processing (OLAP) queries to access very large databases. A… 
Highly Cited
2001
Highly Cited
2001
In this article, we describe a possibilistic/ probabilistic conditional planner called PTLplan. Being inspired by Bacchus and… 
2001
2001
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to… 
Highly Cited
1993
Highly Cited
1993
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
Highly Cited
1993
Highly Cited
1993
This book is an excellent start for the professional programmer who wants to master C++ for use in an object-oriented environment… 
1992
1992
P ROLOG, the most popular logic programming language, has been developed for single-processor computers. The implementations of…