A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution.

Christoph Walther

Published in: AAAI (1984)

Keyphrases

linear equations
decision trees
high resolution
low resolution
database
optimal solution
data mining
information retrieval
np hard
closed form
conflict detection