Finite Domain and Cutting Plane Techniques in CLP(PB).

Peter Barth Alexander Bockmayr Finite Domain and Cutting Plane Techniques in CLP(PB). 133-147 1995 ICLP db/conf/iclp/iclp95.html#BarthB95