Logic-Based 0?1 Constraint Programming (Operations Research/Computer Science Interfaces Series)

Barth, Peter

ISBN 10: 146128564X ISBN 13: 9781461285649
Editore: Springer, 2011
Nuovi Brossura

Da Best Price, Torrance, CA, U.S.A. Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 30 agosto 2024

Questo articolo specifico non è più disponibile.

Riguardo questo articolo

Descrizione:

SUPER FAST SHIPPING. Codice articolo 9781461285649

Segnala questo articolo

Riassunto:

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.

Contenuti: Foreword. Preface. 1. Introduction. 2. Constraint Logic Programming. 3. Pseudo-Boolean Constraints. 4. A Logic Cut Based Constraint Solver. 5. Pseudo-Boolean Unit Resolution. 6. Logic Cuts and Enumeration. 7. Linear Pseudo-Boolean Inequalities and Extended Clauses. 8. Simplification. 9. Linearization. 10. Projection. 11. Conclusion. References.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: Logic-Based 0?1 Constraint Programming (...
Casa editrice: Springer
Data di pubblicazione: 2011
Legatura: Brossura
Condizione: New

I migliori risultati di ricerca su AbeBooks

Immagini fornite dal venditore

Peter Barth
Editore: Springer US, 2011
ISBN 10: 146128564X ISBN 13: 9781461285649
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Codice articolo 4191129

Contatta il venditore

Compra nuovo

EUR 92,27
EUR 48,99 shipping
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Peter Barth
Editore: Humana, 2011
ISBN 10: 146128564X ISBN 13: 9781461285649
Nuovo Taschenbuch

Da: preigu, Osnabrück, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Logic-Based 0-1 Constraint Programming | Peter Barth | Taschenbuch | xiv | Englisch | 2011 | Humana | EAN 9781461285649 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 106369563

Contatta il venditore

Compra nuovo

EUR 95,80
EUR 70,00 shipping
Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Aggiungi al carrello

Foto dell'editore

Barth, Peter
Editore: Springer, 2011
ISBN 10: 146128564X ISBN 13: 9781461285649
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar2716030029826

Contatta il venditore

Compra nuovo

EUR 102,10
EUR 3,40 shipping
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Peter Barth
ISBN 10: 146128564X ISBN 13: 9781461285649
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 272 pp. Englisch. Codice articolo 9781461285649

Contatta il venditore

Compra nuovo

EUR 106,99
EUR 23,00 shipping
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Peter Barth
ISBN 10: 146128564X ISBN 13: 9781461285649
Nuovo Taschenbuch
Print on Demand

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch. Codice articolo 9781461285649

Contatta il venditore

Compra nuovo

EUR 106,99
EUR 60,00 shipping
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Peter Barth
Editore: Springer US 1996-01-01, 1996
ISBN 10: 146128564X ISBN 13: 9781461285649
Nuovo Paperback

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Codice articolo 6666-IUK-9781461285649

Contatta il venditore

Compra nuovo

EUR 111,18
EUR 17,63 shipping
Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Peter Barth
Editore: Springer US, 2011
ISBN 10: 146128564X ISBN 13: 9781461285649
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9781461285649

Contatta il venditore

Compra nuovo

EUR 112,77
EUR 62,09 shipping
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Barth, Peter
Editore: Springer, 2011
ISBN 10: 146128564X ISBN 13: 9781461285649
Antico o usato Paperback

Da: Mispah books, Redhill, SURRE, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA796146128564X6

Contatta il venditore

Compra usato

EUR 181,73
EUR 28,46 shipping
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello