The PRODSAT phase of random quantum satisfiability.

Joon Lee Nicolas Macris Jean Bernoulli Ravelomanana Perrine Vantalon

Published in: CoRR (2024)

Keyphrases

np complete
satisfiability problem
propositional logic
training phase
quantum computing
quantum inspired
quantum computation
computational complexity
uniformly distributed
decision procedures
random constraint satisfaction problems