Login / Signup
Quantum Graph-State Synthesis with SAT.
Sebastiaan Brand
Tim Coopmans
Alfons Laarman
Published in:
POS@SAT (2023)
Keyphrases
</>
random walk
information retrieval
search algorithm
graph theory
weighted graph
data sets
satisfiability problem
graph structure
graph model
program synthesis
sat encodings