Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update

Options:








Author, Editor(s)
Author(s):
Barth, Peter
Bockmayr, Alexander
dblp
dblp

BibTeX cite key*:

BarthBockmayr98

Title

Title*:

Modelling Discrete Optimisation Problems in Constraint Logic Programming

Journal

Journal Title*:

Annals of Operations Research

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Baltzer

Publisher's URL:


Publisher's
Address:


ISSN:

0254-5330

Vol, No, pp, Date

Volume*:

81

Number:


Publishing Date:

1998

Pages*:

467-496

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

Constraint logic programming has become a promising new technology
for solving complex combinatorial problems.
In this paper, we investigate how (constraint) logic programming can support the
modelling part when solving discrete optimisation problems.
First, we show that the basic functionality of algebraic modelling languages
can be realised very easily in a pure logic programming system like
Prolog and that, even without using constraints, various additional features are
available.
Then we focus on the constraint solving facilities offered by constraint
logic programming systems.
In particular, we explain how the constraint solver of the constraint logic
programming language CLP(PB) can be used in modelling 0-1 problems.

URL for the Abstract:


Categories,
Keywords:

Modeling, Combinatorial Optimization, Constraint Programming

HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:


Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography


BibTeX Entry:
@ARTICLE{BarthBockmayr98,
AUTHOR = {Barth, Peter and Bockmayr, Alexander},
TITLE = {Modelling Discrete Optimisation Problems in Constraint Logic Programming},
JOURNAL = {Annals of Operations Research},
PUBLISHER = {Baltzer},
YEAR = {1998},
VOLUME = {81},
PAGES = {467--496},
ISBN = {0254-5330},
}


Entry last modified by Uwe Brahm, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Alexander Bockmayr
Created
09/29/1998 11:47:49 AM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm
Alexander Bockmayr
Alexander Bockmayr
Edit Dates
07.04.99 16:36:25
30.03.99 21:48:18
30.03.99 21:39:31
05/01/99 16:27:36
29/09/98 11:50:33