‹ 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.

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble von Tichavský, Petr (Herausgeber); Babaie-Zadeh, Massoud (Herausgeber); Michel, Olivier J. J. (Herausgeb
85,59 EUR

49,80 EUR

Advancements in Automation, Robotics and Sensing First International Conference, ICAARS 2016, Coimba von Vinod, B. (Herausgeber); Voyles, Richard (Herausgeber); Vadakkepat, Prahlad (Herausgeber); Sundaram,
64,99 EUR

Traceback and Anonymity von Wang, Xinyuan; Reeves, Douglas
54,99 EUR

The Bulgarian Language in the Digital Age von Rehm, Georg (Herausgeber); Uszkoreit, Hans (Herausgeber)
89,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2019 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.