Erlendur S. Thorsteinsson's Available Papers

To obtain a PostScript (PS) or a Portable Document Format (PDF) file of the paper you are interested in, click on the PS or PDF marker, respectively, at the end of each entry. To obtain a BibTeX entry for the paper, click on the BibTeX marker.

These documents were typeset using LaTeX2e. The PS files were produced using dvips, for a 600 dpi printer and letter papersize, and compressed using gzip. The PDF files were produced from the PS files using Adobe Acrobat Distiller, with no image compression.

If you need a different electronic version, e.g., a version for A4 paper size, please send me an e-mail or write me at the address on the front page.

Please note that all documents on this page are provided for the sole purpose of early and rapid dissemination of research results. The copyright for these documents rests with the author(s), or the journals or conferences where they were published, as indicated or appropriate.

Doctoral Dissertation

• Erlendur S. Thorsteinsson, Hybrid Approaches to Combinatorial Optimisation, Dissertation, Carnegie Mellon University, May 2001.
  / Abstract / oneside PS (631kB) / twoside PS (634kB) / oneside PDF (1569kB) / twoside PDF (1580kB) / BibTeX /
  • Based on: Erlendur S. Thorsteinsson, Hybrid Approaches to Combinatorial Optimisation, Dissertation Proposal, Carnegie Mellon University, October 2000.
    / Abstract / PS (586kB) / PDF (1431kB) / BibTeX /

Constraint (Logic) Programming and Mixed Integer Programming

• Erlendur S. Thorsteinsson, Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming, CP '01, Seventh International Conference on Principles and Practice of Constraint Programming, Paphos Cyprus, November 2001. Proceedings published in Lecture Notes in Computer Science (LNCS), vol. 2239, 2001.
  / Abstract / PS (75kB) / PDF (245kB) / BibTeX /

• Michela Milano, Greger Ottosson, Philippe Refalo and Erlendur S. Thorsteinsson, The Role of Integer Programming Techniques in Constraint Programming's Global Constraints, accepted for publication in INFORMS Journal on Computing, Special Issue on the Merging of Mathematical Programming and Constraint Programming, April 2002.
  / Abstract / PS (107kB) / PDF (326kB) / BibTeX /
  • Based on: Michela Milano, Greger Ottosson, Philippe Refalo and Erlendur S. Thorsteinsson, The Benefits of Global Constraints for the Integration of Constraint Programming and Integer Programming, AAAI '00, Seventeenth National Conference on Artificial Intelligence, Workshop on Integration of AI and OR Techniques for Combinatorial Optimization, Austin TX U.S.A., July 2000.
    / Abstract / PS (37kB) / PDF (75kB) / BibTeX /

• Erlendur S. Thorsteinsson and Greger Ottosson, Linear Relaxations and Reduced-Cost Based Propagation of Continuous Variable Subscripts, accepted for publication in Annals of Operations Research, Special Issue on Integration of Constraint Programming, Artificial Intelligence and Operations Research Methods, November 2001.
  / Abstract / PS (84kB) / PDF (254kB) / BibTeX /
  • Based on: Greger Ottosson and Erlendur S. Thorsteinsson, Linear Relaxations and Reduced-Cost Based Propagation of Continuous Variable Subscripts, CP-AI-OR '00, Second International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, University of Paderborn, Paderborn Germany, March 2000.
    / Abstract / PS (72kB) / PDF (219kB) / BibTeX /

• Greger Ottosson, Erlendur S. Thorsteinsson and John N. Hooker, Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers, Annals of Mathematics and Artificial Intelligence, Special Issue on Large Scale Combinatorial Optimisation and Constraints, vol. 34(4), 2002.
  / Abstract / PS (100kB) / PDF (298kB) / BibTeX /
  • Based on: Greger Ottosson, Erlendur S. Thorsteinsson and John N. Hooker, Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers, CP '99, Fifth International Conference on Principles and Practice of Constraint Programming, Post-Conference Workshop on Large Scale Combinatorial Optimization and Constraints, Alexandria VA U.S.A., October 1999. Proceedings published in Electronic Notes in Discrete Mathematics, vol. 4, 2000.
    / Abstract / PS (105kB) / PDF (304kB) / BibTeX /

• John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson and Hak-Jin Kim, On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization, AAAI '99, Sixteenth National Conference on Artificial Intelligence, Orlando FL U.S.A., July 1999.
  / Abstract / PS (56kB) / PDF (98kB) / BibTeX /
  • Based on: Greger Ottosson, John N. Hooker, Hak-Jin Kim and Erlendur S. Thorsteinsson, On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization, CP-AI-OR '99, First International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, University of Ferrara, Ferrara Italy, February 1999.
    / Abstract / PS (50kB) / PDF (137kB) / BibTeX /

• John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson and Hak-Jin Kim, A Scheme for Unifying Optimization and Constraint Satisfaction Methods, Knowledge Engineering Review, Special Issue on Artifical Intelligence and Operations Research, vol. 15(1), 2000.
  / Abstract / PS (103kB) / PDF (309kB) / BibTeX /

Mathematical Modelling

• Bjarni V. Halldórsson, Erlendur S. Thorsteinsson and Bjarni Kristjánsson, A Modeling Interface to Non-Linear Programming Solvers; An instance: xMPS, the extended MPS format, INFORMS Journal on Computing, submitted, February 2000.
  / Abstract / PS (101kB) / PDF (302kB) / BibTeX /

• Erlendur S. Thorsteinsson, xMPS, the Extended MPS Format for Non-Linear Programs, Carnegie Mellon University Mathematical Sciences Department Technical Report 99-224, December 1999.
  / Abstract / PS (58kB) / PDF (187kB) / BibTeX /

Graduate School of Industrial Administration Summer Papers

• Erlendur S. Thorsteinsson, BC v2.0: Design, usage, strategies and some test result, GSIA 2nd summer paper supervised by Prof. Egon Balas, Carnegie Mellon University, December 1998.
  / Abstract / PS (142kB) / PDF (358kB) / BibTeX /

• Erlendur S. Thorsteinsson, Choosing Algorithm Parameters Strategically, GSIA 1st summer paper supervised by Prof. Egon Balas, Carnegie Mellon University, December 1997.
  / Abstract / PS (116kB) / PDF (276kB) / BibTeX /