C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM).
Alexander Leonhardt
Holger Dell
Anselm Haak
Frank Kammer
Johannes Meintrup
Ulrich Meyer
Manuel Penschuck
Published in:
IPEC (2023)
Keyphrases
</>
search algorithm
tree search
exact and approximate
databases
high level
real time
optimal solution
reinforcement learning
database
objective function
decision trees
simulated annealing
constraint satisfaction
combinatorial optimization
search procedure
exact solution
neural network
beam search
heuristic solution