67 citations · 111 across the 12 of their papers we have counts for
1 paper · 1 filter
Itai Arad, Miklos Santha, Aarthi Sundaram +1
A canonical result about satisfiability theory is that the 2-SAT problem can be solved in linear time, despite the NP-hardness of the 3-SAT problem. In the quantum 2-SAT problem, w…