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

Christoph Walther

Published in: Artif. Intell. (1985)

Keyphrases

optimal solution
control system
real time
data sets
decision making
evolutionary algorithm
special case
search strategy
integer programming
linear systems