Matched Instances of Quantum Satisfiability (QSat) - Product State Solutions of Restrictions.

Published in: CSR (2019)

Keyphrases

test instances
boolean formula
search procedures
stochastic local search
cpu times
state space
np complete
first order logic
life cycle
benchmark problems
solution quality
product design
reasoning problems
quantum computing