Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints

Chris Johannsen, Brian Kempa, Phillip H. Jones, Tichakorn Wongpiromsarn, and Kristin Yvonne Rozier

This webpage contains supplementary data for "Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints".

---

Contact

For further information, please contact Chris Johannsen.