Unification and combination of iterative insertion strategies with one-step traversals.

Walid Belkhir Nicolas Ratier Duy Duc Nguyen Michel Lenczner

Published in: CoRR (2019)

Keyphrases

theorem proving
higher order
iterative process
feedback loop
real time
artificial neural networks
post processing
preprocessing step
data sets
social networks
website
mobile robot
logic programs
online auctions
optimal strategy
selection strategies