On efficiently solvable cases of Quantum k-SAT.

Marco Aldi Niel de Beaudrap Sevag Gharibian Seyran Saeedi

Published in: CoRR (2017)

Keyphrases

special case
satisfiability problem
data sets
website
search algorithm
computational complexity
expert systems
np complete
neural network
lower bound
logic programming
graph coloring
variable ordering
sat solving