Benchmarking UAQ Solvers.

Alessandro Armando, Giorgia Gazzarata, Fatih Turkmen

Browse the full SACMAT paper archive.