Book - Whole Book
@Book, Buch
Monographie


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Barth, Peter

dblp



Editor(s):





BibTeX cite key*:

Barth-95b

Title

Book Title*:

Logic-based 0-1 constraint programming
Publisher

Name*:

Kluwer

URL/Home Page:

http://www.kluweronline.com/

Address*:

Boston, USA

Language:

English

Vol, No, pp., Year



Series:

Operations Research/Computer Science Interfaces

Volume:


Number:


Edition:


Pages*:

272

Month:

November

VG Wort
Pages:


ISBN:

0-7923-9663-4

Year*:

1995

Abstract, Links, ©

Note:


(LaTeX) Abstract:

A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to
more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming
environment. The first monographic treatment that begins to unify these two methodological approaches. Logic-based methods for
modelling and solving combinatorial problems have recently started to play a significant role in both theory and practice. The application of
logic to combinatorial problems has a dual aspect. On one hand, constraint logic programming allows one to declaratively model
combinatorial problems over an appropriate constraint domain, the problems then being solved by a corresponding constraint solver.
Besides being a high-level declarative interface to the constraint solver, the logic programming language allows one also to implement
those subproblems that cannot be naturally expressed with constraints. On the other hand, logic-based methods can be used as a
constraint solving technique within a constraint solver for combinatorial problems modelled as 0-1 integer programs.

URL for the Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


URL for the download of the book:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography


BibTeX Entry:
@BOOK{Barth-95b,
AUTHOR = {Barth, Peter},
TITLE = {Logic-based 0-1 constraint programming},
PUBLISHER = {Kluwer},
YEAR = {1995},
PAGES = {272},
SERIES = {Operations Research/Computer Science Interfaces},
ADDRESS = {Boston, USA},
MONTH = {November},
ISBN = {0-7923-9663-4},
}


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)
Created
05/07/1997 12:52:53 AM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Uwe Brahm
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
03/12/2010 12:02:02 PM
04.09.2001 11:16:32
29.04.97 19:54:11
29.04.97 19:51:49
03/25/96 04:02:55 PM