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