@misc{indiciae2cf865348477,
  title = {Quantum Graph-State Synthesis with SAT},
  author = {Sebastiaan Brand and Tim Coopmans and Alfons Laarman},
  year = {2024},
  url = {https://arxiv.org/abs/2309.03593},
  note = {Source identifier: 2309.03593}
}