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

1009:-

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

Uppskattad leveranstid 7-11 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. Ny
    bokomslag Dancing Queen

    Dancing Queen

    Denise Rudberg

    Pocket

    69:- (119:-)
  2. bokomslag For Such a Time as This

    For Such a Time as This

    Justin Mathias Nenge

    Pocket

    229:-
  3. bokomslag Bamboo among the Oaks

    Bamboo among the Oaks

    Mai Neng Moua

    Inbunden

    479:-
  4. bokomslag Weakest Bound Electron Theory And Applications

    Weakest Bound Electron Theory And App...

    Zheng Neng-Wu Zheng

    Pocket

    899:-
  5. bokomslag The Bride Price: A Hmong Wedding Story

    The Bride Price: A Hmong Wedding Story

    Mai Neng Moua

    Häftad

    319:-
  6. Ny
    bokomslag I samma flod : Putins krig mot kvinnorna

    I samma flod : Putins krig mot kvinnorna

    Sofi Oksanen

    Inbunden

    299:-
  7. bokomslag When Housing Markets Meet Shadow Banking: Bubbles, Mortgages, Securitization, And Fintech

    When Housing Markets Meet Shadow Bank...

    Robert A Van Order Rose Neng Lai

    Inbunden

    2479:-
  8. bokomslag Multiple Access Technology Towards Ubiquitous Networks

    Multiple Access Technology Towards Ub...

    Neng Ye, Xiangming Li, Kai Yang, Jianping An

    Pocket

    899:-
  9. bokomslag Recent Advances In Iga Nephropathy

    Recent Advances In Iga Nephropathy

    Kar Neng Lai

    Inbunden

    3659:-
  10. bokomslag Practical Manual Of Renal Medicine, A: Nephrology, Dialysis And Transplantation

    Practical Manual Of Renal Medicine, A...

    Kar Neng Lai

    Pocket

    1469:-

Andra av samma författare

  1. bokomslag Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Lang...

    Neng-Fa Zhou Claudio Russo

    Pocket

    749:-