Evgeny Dantsin Vladik Kreinovich Alexander Wolpert On quantum versions of record-breaking algorithms for SAT. 103-108 2005 36 SIGACT News 4 http://doi.acm.org/10.1145/1107523.1107524 db/journals/sigact/sigact36.html#DantsinKW05