Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More.

Antonius Weinzierl Richard Taupe Gerhard Friedrich

Published in: CoRR (2020)

Keyphrases

web applications
timetabling problem
random walk
heuristic search
answer set programming
search heuristics
neural network
combinatorial optimization
resource constrained project scheduling problem
evolutionary algorithm