TY  - RPRT
TI  - Unsatisfiable Cores for Constraint Programming
AU  - Nicholas Downing
AU  - Thibaut Feydy
AU  - Peter J. Stuckey
PY  - 2013
UR  - https://arxiv.org/abs/1305.1690
ID  - 1305.1690
ER  -