@InProceedings{HjortBlindellCastanedaEa:CP:2015,
Author = "Hjort Blindell, Gabriel and Castañeda Lozano, Roberto and Mats Carlsson and Christian Schulte",
Title = "Modeling Universal Instruction Selection",
Editor = "Gilles Pesant",
Booktitle = "Twentyfirst International Conference on Principles and Practice of Constraint Programming",
Year = 2015,
Month = sep,
Address = "Cork, Ireland",
Publisher = "Springer-Verlag",
Series = "Lecture Notes in Computer Science",
Volume = "9255",
Pages = "609--626",
DOI = "10.1007/978-3-319-23219-5_42",
URL = "https://chschulte.github.io/papers/hjortblindellcastanedaea-cp-2015.html"
}