Quantum adiabatic optimization without heuristics. - Michael Jarret; Brad Lackey; Aike Liu; Kianna Wan (CoRR, 2018)