Miguel A. Salido Adriana Giret Federico Barber Realizing a Global Hyperpolyhedron Constraint via LP Techniques. 2001 conf/puk/2001 PuK http://www-is.informatik.uni-oldenburg.de/~sauer/puk2001/papers/salido.pdf db/conf/puk/puk2001.html#SalidoGB01