PACE Solver Description: μSolver - Heuristic Track.

Valentin Bartier Gabriel Bathie Nicolas Bousquet Marc Heinrich Théo Pierron Ulysse Prieto

Published in: IPEC (2021)

Keyphrases

case study
constraint solving
constraint solver
quantified boolean formulas
data sets
databases
data mining
optimal solution
search algorithm
tabu search
beam search
hard constraints