Drupal-Biblio17<style face="normal" font="default" size="100%">A Quantum Version of Schöning's Algorithm Applied to Quantum 2-SAT</style>