On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization. - John N. Hooker; Greger Ottosson; Erlendur S. Thorsteinsson; Hak-Jin Kim (AAAI/IAAI, 1999)

Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. - Greger Ottosson; Erlendur S. Thorsteinsson; John N. Hooker (Electron. Notes Discret. Math., 2000)

Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming. - Erlendur S. Thorsteinsson (CP, 2001)

Linear Relaxations and Reduced-Cost Based Propagation of Continuous Variable Subscripts. - Erlendur S. Thorsteinsson; Greger Ottosson (Ann. Oper. Res., 2002)

The Role of Integer Programming Techniques in Constraint Programming's Global Constraints. - Michela Milano; Greger Ottosson; Philippe Refalo; Erlendur S. Thorsteinsson (INFORMS J. Comput., 2002)