TY  - JOUR
AU  - Correas Fernández, Jesús
AU  - Estévez Martín, Sonia
AU  - Sáenz Pérez, Fernando
AU  - Lin, Binshan
PY  - 2018
DO  - 10.1016/j.eswa.2017.09.056
SN  - 0957-4174
UR  - https://hdl.handle.net/20.500.14352/93814
T2  - Expert Systems with Applications
AB  - Constraint solvers have proved to be a powerful tool for both expressing and solving complex problems in many contexts, in particular in Automated Planning and Scheduling. In this work, we propose new constraints to enhancing an implementation of a...
LA  - eng
M2  - 485
PB  - Elsevier
KW  - Constraint programming
KW  - Scheduling
KW  - Integer set solvers
KW  - Finite domain constraints
TI  - Enhancing set constraint solvers with bound consistency
TY  - journal article
VL  - 92
ER  -