Login / Signup
Search Techniques for Rational Polynomial Orders.
Carsten Fuhs
Rafael Navarro-Marset
Carsten Otto
Jürgen Giesl
Salvador Lucas
Peter Schneider-Kamp
Published in:
AISC/MKM/Calculemus (2008)
Keyphrases
</>
search algorithm
search strategy
search efficiency
search space
solution space
database
real time
multi agent
test collection
search strategies
information access