‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Constraint Solving and Planning with Picat

Linksbuch Neu neu Rechtsbuch

Zhou, Neng-Fa; Fruhman, Jonathan; Kjellerstrand, Håkan

Constraint Solving and Planning with Picat (Kartoniert / Broschiert / Paperback)


Reihe: SpringerBriefs in Intelligent Systems

Springer-Verlag GmbH, Springer International Publishing, Dezember 2015


148 S. - Sprache: Englisch - 34 schwarz-weiße und 5 farbige Abbildungen, 7 schwarz-weiße Tabellen, Bibliographie - 236x159x15 mm Book

ISBN: 3319258818 EAN: 9783319258812

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners.


Preis: 58,84 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 58,84 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Anwendungs-Software

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

Appropriate for undergraduate and graduate students, researchers, and practitioners Authors combine academic and practical developer community experience Exercises encourage readers to practice the presented modeling techniques

Inhaltsverzeichnis

An Overview of Picat.- Basic Constraint Modeling.- Advanced Constraint Modeling.- Dynamic Programming with Tabling.- From Dynamic Programming to Planning.- Planning with Resource-Bounded Search.- Encodings for the Traveling Salesman Problem.- Index.


ISBN 3-319-25881-8

ISBN 978-3-319-25881-2

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Augmented and Virtual Reality Second International Conference, AVR 2015, Lecce, Italy, August 31 - S von Paolis, Lucio Tommaso de (Herausgeber); Mongelli, Antonio (Herausgeber)
89,99 EUR

Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Viet von Nguyen, Ngoc Thanh (Herausgeber); Hoang, Duong Hung (Herausgeber); Hong, Tzung-Pei (Herausgeber); Ph
96,30 EUR
Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI von Wu, Guorong (Herausgeber); Laurienti, Paul (Herausgeber); Bonilha, Leonardo (Herausgeber); Munsell,
53,49 EUR

59,95 EUR
PowerFactory Applications for Power System Analysis von Gonzalez-Longatt, Francisco M. (Herausgeber); Luis Rueda, José (Herausgeber)
128,39 EUR
Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, Oct von Bouguettaya, Athman (Herausgeber); Gao, Yunjun (Herausgeber); Klimenko, Andrey (Herausgeber); Chen,
85,59 EUR
Business Process Management Workshops BPM 2017 International Workshops, Barcelona, Spain, September von Teniente, Ernest (Herausgeber); Weidlich, Matthias (Herausgeber)
96,30 EUR
Web Information Systems Engineering -- WISE 2013 14th International Conference, Nanjing, China, Octo von Huang, Guangyan (Herausgeber); Lin, Xuemin (Herausgeber); Manolopoulos, Yannis (Herausgeber); Srivas
74,90 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.