Login / Signup
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