Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,436,964 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
(a,b)-tree
Array data structure
Artificial intelligence
Backjumping
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization
Broderick Crawford
,
Ricardo Soto
,
É. Monfroy
,
W. Palma
,
Carlos Castro
,
F. Paredes
Expert systems with applications
2013
Corpus ID: 42501676
2008
2008
Proof systems for the coalgebraic cover modality
M. Bílková
,
A. Palmigiano
,
Y. Venema
Advances in Modal Logic
2008
Corpus ID: 14273427
We investigate an alternative presentation of classical and pos- itive modal logic where the coalgebraic cover modality is taken…
Expand
2006
2006
A/sup */ search: an efficient and flexible approach to materialized view selection
G. Gou
,
J. Yu
,
Hongjun Lu
IEEE Transactions on Systems Man and Cybernetics…
2006
Corpus ID: 9494172
Decision support systems issue a large number of online analytical processing (OLAP) queries to access very large databases. A…
Expand
Highly Cited
2001
Highly Cited
2001
Conditional progressive planning under uncertainty
L. Karlsson
International Joint Conference on Artificial…
2001
Corpus ID: 19005842
In this article, we describe a possibilistic/ probabilistic conditional planner called PTLplan. Being inspired by Bacchus and…
Expand
2001
2001
On a Tabling Engine That Can Exploit Or-Parallelism
Ricardo Rocha
,
Fernando M A Silva
,
V. S. Costa
International Conference on Logic Programming
2001
Corpus ID: 9712407
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to…
Expand
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
M. Fujita
,
J. Slaney
,
F. Bennett
International Joint Conference on Artificial…
1993
Corpus ID: 16157391
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite…
Expand
Highly Cited
1993
Highly Cited
1993
Object-Oriented Programming Using C++
I. Pohl
1993
Corpus ID: 56560139
This book is an excellent start for the professional programmer who wants to master C++ for use in an object-oriented environment…
Expand
1992
1992
A High Performance OR-parallel Prolog System
R. Karlsson
1992
Corpus ID: 59822203
P ROLOG, the most popular logic programming language, has been developed for single-processor computers. The implementations of…
Expand
1985
1985
A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects
G. Butler
,
C. Lam
Journal of symbolic computation
1985
Corpus ID: 30171803
Highly Cited
1983
Highly Cited
1983
An algorithm for optimal two-dimensional compaction of VLSI layouts
M. Schlag
,
Yuh-Zen Liao
,
Chak-Kuen Wong
Integr.
1983
Corpus ID: 43768594
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE