CP2020-SRSMT

Dataset

Date made available2020
PublisherGitHub

Software

  • Software

Contact

Access Dataset

  • 1 Conference contribution

  • Effective encodings of constraint programming models to SMT

    Davidson, E., Akgun, O., Espasa Arxer, J. & Nightingale, P., 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Simonis, H. (ed.). Springer, p. 143-159 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 12333 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    4 Citations (Scopus)
    4 Downloads (Pure)

Cite this