Constraint Solving and Planning with Picat 1
bokomslag Constraint Solving and Planning with Picat
Data & IT

Constraint Solving and Planning with Picat

Neng-Fa Zhou • Håkan Kjellerstrand • Jonathan Fruhman

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 148 sidor
  • 2015
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.
  • Författare: Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
  • Illustratör: -
  • Format: Pocket/Paperback
  • ISBN: 9783319258812
  • Språk: Engelska
  • Antal sidor: 148
  • Utgivningsdatum: 2015-12-05
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Bamboo among the Oaks

    Bamboo among the Oaks

    Mai Neng Moua

    Inbunden

    479:-
  2. bokomslag Practical Manual Of Renal Medicine, A: Nephrology, Dialysis And Transplantation

    Practical Manual Of Renal Medicine, A...

    Kar Neng Lai

    Pocket

    1479:-
  3. bokomslag Advances in Machine Learning

    Advances in Machine Learning

    Takashi Washio Zhi-Hua Zhou

    Pocket

    769:-
  4. bokomslag Human Aspects of IT for the Aged Population. Social Media, Games and Assistive Environments

    Human Aspects of IT for the Aged Popu...

    Gavriel Salvendy Jia Zhou

    Pocket

    769:-
  5. bokomslag Human Aspects of IT for the Aged Population. Design for the Elderly and Technology Acceptance

    Human Aspects of IT for the Aged Popu...

    Gavriel Salvendy Jia Zhou

    Pocket

    769:-
  6. Kommande
    bokomslag Statistical Methods in Diagnostic Medicine

    Statistical Methods in Diagnostic Med...

    Xiao-Hua Zhou, Gene A Pennello, Jiarui Sun

    Inbunden

    2539:-
  7. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  8. bokomslag For Such a Time as This

    For Such a Time as This

    Justin Mathias Nenge

    Pocket

    229:-
  9. bokomslag Weakest Bound Electron Theory And Applications

    Weakest Bound Electron Theory And App...

    Zheng Neng-Wu Zheng

    Pocket

    909:-
  10. bokomslag Applied Missing Data Analysis in the Health Sciences

    Applied Missing Data Analysis in the ...

    Xiao-Hua Zhou, Chuan Zhou, Danping Lui, Xaiobo Ding

    Inbunden

    1929:-

Andra av samma författare

  1. bokomslag Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Lang...

    Neng-Fa Zhou Claudio Russo

    Pocket

    769:-