Effizienz von k-Lokaler Quantensuche und ihrer Adiabatischen Variante auf Zufälligem k-SAT

Quantencomputer bieten effiziente Lösungen für k-SAT-Probleme.