Items where authors include "Davidson, Ewan"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Proceedings Paper
Number of items: 1.

Proceedings Paper

Davidson, Ewan, Akgün, Özgür, Espasa, Joan et al. (1 more author) (2020) Effective Encodings of Constraint Programming Models to SMT. In: Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 143-159.

This list was generated on Sat Apr 13 12:38:55 2024 BST.