Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat
- 15 September 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 345, 165-178
- https://doi.org/10.4204/eptcs.345.30