TY  - RPRT
TI  - Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat
AU  - Neng-Fa Zhou
PY  - 2021
DO  - 10.4204/eptcs.345.30
UR  - https://arxiv.org/abs/2109.08293
ID  - 2109.08293
ER  -