stacs-cp/CP2020-SRSMT: July 2020

Dataset

Description

Supplemental repository for "Effective Encodings of Constraint Programming Models to SMT" published in CP2020.
Date made available2020
PublisherZenodo

Contact

  • 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

Cite this