stacs-cp/CP2020-SR-SMT: July 2020

  • Ozgur Akgun (Creator)
  • Joan Espasa (Creator)
  • EwanD3 (Creator)
  • Peter Nightingale (Creator)



This is to go with the final version of the paper. We will probably tidy the repository a little bit and make another release soon.
Date made available2020
  • 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 proceedingConference contribution

    Open Access
    3 Citations (Scopus)
    2 Downloads (Pure)

Cite this