TY  - RPRT
TI  - Solving Reachability Problems by a Scalable Constrained Optimization Method
AU  - Jan Kuratko
AU  - Stefan Ratschan
PY  - 2017
UR  - https://arxiv.org/abs/1611.01051
ID  - 1611.01051
ER  -