Login / Signup
Classical and Quantum Algorithms for the Boolean Satisfiability Problem.
Carlos Barron-Romero
Published in:
CoRR (2015)
Keyphrases
</>
data structure
computationally efficient
times faster
learning algorithm
information systems
orders of magnitude
computational efficiency
computationally expensive
databases
data mining
knowledge base
bayesian networks
search space
benchmark datasets
classification algorithm
recently developed