Evaluation of high level methods for efficient planning as satisfiability.

Endre Erös Martin Dahl Petter Falkman Kristofer Bengtsson

Published in: ETFA (2021)

Keyphrases

computationally expensive
high level
gold standard
significant improvement
information retrieval
benchmark datasets
machine learning methods
neural network
knowledge base
low level