Efficient algorithm for a quantum analogue of 2-SAT

Bravyi, Sergey · Contemporary Mathematics · 2011