Leviton

Logic-Based 0-1 Constraint Programming - 9781461285649

Description: Logic-Based 0-1 Constraint Programming Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Author(s): Peter Barth Format: Paperback Publisher: Springer-Verlag New York Inc., United States Imprint: Springer-Verlag New York Inc. ISBN-13: 9781461285649, 978-1461285649 Synopsis 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.

Price: 72.91 GBP

Location: Aldershot

End Time: 2024-09-29T10:02:12.000Z

Shipping Cost: 38.19 GBP

Product Images

Logic-Based 0-1 Constraint Programming - 9781461285649

Item Specifics

Return postage will be paid by: Buyer

Returns Accepted: Returns Accepted

After receiving the item, your buyer should cancel the purchase within: 60 days

Return policy details:

Book Title: Logic-Based 0-1 Constraint Programming

Subject Area: Data Analysis

Item Height: 235 mm

Item Width: 155 mm

Series: Operations Research/Computer Science Interfaces Series

Author: Peter Barth

Publication Name: Logic-Based 0-1 Constraint Programming

Format: Paperback

Language: English

Publisher: Springer-Verlag New York Inc.

Subject: Computer Science, Mathematics, Management

Publication Year: 2011

Type: Textbook

Item Weight: 417 g

Number of Pages: 254 Pages

Recommended

Logic-Based 0–1 Constraint Programming (Operations Research/Computer Science Int
Logic-Based 0–1 Constraint Programming (Operations Research/Computer Science Int

$87.00

View Details
Mathematical Logic and Model Theory: A Brief Introduction (Universitext) - NEW
Mathematical Logic and Model Theory: A Brief Introduction (Universitext) - NEW

$74.17

View Details
Logic-Based 0-1 Constraint Programming
Logic-Based 0-1 Constraint Programming

$149.32

View Details
Logic-Based Program Synthesis and Transformation: 33rd International Symposium,
Logic-Based Program Synthesis and Transformation: 33rd International Symposium,

$72.90

View Details
Logic-Based 01 Constraint Programming by Peter Barth (English) Paperback Book
Logic-Based 01 Constraint Programming by Peter Barth (English) Paperback Book

$137.58

View Details
TEMPORAL LOGIC OF PROGRAMS (MONOGRAPHS IN THEORETICAL By Fred Kroger - Hardcover
TEMPORAL LOGIC OF PROGRAMS (MONOGRAPHS IN THEORETICAL By Fred Kroger - Hardcover

$113.95

View Details
Logic-Based 0-1 Constraint Programming, Paperback by Barth, Peter, Brand New,...
Logic-Based 0-1 Constraint Programming, Paperback by Barth, Peter, Brand New,...

$125.18

View Details
1PCS New Siemens 6ES7193-6BP00-0BA0 BASE UNIT 6ES7 193-6BP00-0BA0 In Box
1PCS New Siemens 6ES7193-6BP00-0BA0 BASE UNIT 6ES7 193-6BP00-0BA0 In Box

$23.64

View Details
Institutional Logics within Faith-Based Aid: A New Approach to Organising in Dev
Institutional Logics within Faith-Based Aid: A New Approach to Organising in Dev

$231.36

View Details
Yokogawa F3BU16-0N F3BU160N Base Unit Programmable Logic Controller
Yokogawa F3BU16-0N F3BU160N Base Unit Programmable Logic Controller

$136.00

View Details