Three quantum algorithms to solve 3-SAT

Alberto Leporati, Sara Felloni. Three quantum algorithms to solve 3-SAT. Theoretical Computer Science, 372(2-3):218-241, 2007. [doi]

Abstract

Abstract is missing.