Random quantum satisfiability.
Christopher R. LaumannR. MoessnerAntonello ScardicchioS. L. SondhiPublished in: Quantum Inf. Comput. (2010)
Keyphrases
- computational complexity
- satisfiability problem
- database
- terminological reasoning
- decision trees
- phase transition
- propositional logic
- uniformly distributed
- random constraint satisfaction problems
- quantum computation
- quantum computing
- sat solving
- quantum mechanics
- decision procedures
- sat problem
- randomly generated
- orders of magnitude
- relational databases
- information systems
- social networks
- real time