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
/
-
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
/