@misc{HjortBlindell:2015:CP,
    author = {Hjort Blindell, Gabriel and Casta\~{n}eda Lozano, Robert and Carlsson, Mats and Schulte, Christian},
    booktitle = {21st International Conference on Principles and Practice of Constraint Programming},
    location = {Cork, Ireland},
    month = {August 31 -- September 4},
    series = {CP~2015},
    title = {Modeling Universal Instruction Selection},
    year = {2015},
}