MB0032 OPERATIONS RESEARCH
Andrea Calvagna – University of Catania - IT Angelo Gargantini – University of Bergamo – IT TAP 2009 – Zürich – 2nd July 2009 C OMBINING S ATISFIABILITY.
32460635 Mb0032 Operations Research
Non-binary constraints Dual & Hidden Variable Encodings REFORMULATION.
Constraint Satisfaction pr oblems
On the Integration of Constraint Propagation and Local Search Pedro Barahona