A quantum differentiation ofk-SAT instances

DOI10.1088/1367-2630/12/7/075028zbMath1445.81014OpenAlexW2148308347MaRDI QIDQ5131404

No author found.

Publication date: 7 November 2020

Published in: New Journal of Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1088/1367-2630/12/7/075028

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Quantum computation (81P68) General topics in the theory of algorithms (68W01)

Cites Work

• Unnamed Item
• Adiabatic theorems and applications to the quantum Hall effect
• Probabilistic algorithm for testing primality
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• Adiabatic theorem without a gap condition
• Adiabatic perturbation theory in quantum dynamics
• Matrix Analysis
• A fast deterministic algorithm for formulas that have many satisfying assignments
• The complexity of theorem-proving procedures

This page was built for publication: A quantum differentiation ofk-SAT instances