Benchmarking UAQ Solvers.

Alessandro Armando Giorgia Gazzarata Fatih Turkmen

Published in: SACMAT (2020)

Keyphrases

sat solvers
real world
computationally hard problems
data sets
databases
search algorithm
logic programs
search heuristics
constraint problems
highly optimized