Fetching the paper…
Reading the bibliography…
The Quantum Satisfiability problem generalizes the Boolean satisfiability problem to the quantum setting by replacing classical clauses with local projectors.
Problems and results on 3-chromatic hypergraphs and some related questions
P. Erdős and L. Lovász · 1975
Earlier work this paper cites.
An algorithmic approach to the Lovász local lemma
J. Beck · 1991
Earlier work this paper cites.
One more occurrence of variables makes satisfiability jump from trivial to NP-complete
Jan Kratochvíl, Petr Savickỳ, and Zsolt Tuza · 1993
Earlier work this paper cites.
Classsical and quantum computation
Alexei Kitaev, Alexander H Shen, and Mikhail N Vyalyi · 2002
Earlier work this paper cites.
The probabilistic method
N. Alon and J. H. Spencer · 2004
Earlier work this paper cites.
Commutative version of the local hamiltonian problem and common eigenspace problem
Sergey Bravyi and Mikhail Vyalyi · 2005
Earlier work this paper cites.
Efficient algorithm for a quantum analogue of 2-SAT
S. Bravyi · 2006
Cited alongside, same era.
A Kolmogorov Complexity Proof of the Lovász Local Lemma
L. Fortnow · 2009
Cited alongside, same era.
A constructive proof of the Lovász Local Lemma
R. A. Moser · 2009
Cited alongside, same era.
A constructive proof of the general Lovász Local Lemma
Robin A. Moser and Gábor Tardos · 2010
Cited alongside, same era.
On the complexity of commuting local hamiltonians, and tight conditions for topological order in such systems
Dorit Aharonov and Lior Eldar · 2011
Cited alongside, same era.
A constructive commutative quantum lovász local lemma, and beyond
Toby S Cubitt and Martin Schwarz · 2011
Complexity of commuting hamiltonians on a square lattice of qubits
Norbert Schuch · 2011
Later among the works it cites.
A quantum Lovász local lemma
Andris Ambainis, Julia Kempe, and Or Sattath · 2012
Later among the works it cites.
Three proofs of a constructive commuting quantum lovász local lemma
Toby S Cubitt, Martin Schwarz, Frank Verstraete, Or Sattath, and Itai Arad · 2012
Later among the works it cites.
Quantum information-theoretic proof of the commutative quantum lovász local lemma
Toby S Cubitt, Martin Schwarz, and Frank Verstraete · 2013
Closest in time.
Quantum 3-sat is qma1-complete
David Gosset and Daniel Nagaj · 2013
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.