Login / Signup
A heuristic approach to feasibility verification for truck loading.
Vinícius Gandra
Hatice Çalik
Tony Wauters
Greet Vanden Berghe
Published in:
GECCO Companion (2021)
Keyphrases
</>
search algorithm
dynamic programming
model checking
optimal solution
tabu search
data sets
image sequences
reinforcement learning
simulated annealing
search strategies
formal analysis
beam search
formal verification
person identification
heuristic solution