@misc{indiciae8abe081061b7,
  title = {Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat},
  author = {Neng-Fa Zhou},
  year = {2021},
  doi = {10.4204/eptcs.345.30},
  url = {https://arxiv.org/abs/2109.08293},
  note = {Source identifier: 2109.08293}
}