Patenkinamumo problema (SAT) yra gerai žinoma kompiuterių mokslo skaičiavimo problema, kuri apima nustatymą, ar tam tikra Būlio formulė gali būti patenkinta priskiriant jos kintamiesiems tiesos reikšmes. Kita vertus, adiabatinis kvantinis optimizavimas yra daug žadantis metodas sprendžiant optimizavimo problemas naudojant kvantinius kompiuterius. Šioje srityje siekiama