Quantum Graph-State Synthesis with SAT.

Sebastiaan Brand Tim Coopmans Alfons Laarman

Published in: CoRR (2023)

Keyphrases

state space
search algorithm
data sets
directed graph
satisfiability problem
graph theoretic
program synthesis
neural network
information retrieval
evolutionary algorithm
random walk