Constraint Solving and Planning with Picat
Author:   Neng-Fa Zhou ,  Håkan Kjellerstrand ,  Jonathan Fruhman
Publisher:   Springer International Publishing AG
Edition:   1st ed. 2015
ISBN:  

9783319258812


Pages:   148
Publication Date:   16 November 2015
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $158.37 Quantity:  
Add to Cart

Share |

Constraint Solving and Planning with Picat


Overview

Full Product Details

Author:   Neng-Fa Zhou ,  Håkan Kjellerstrand ,  Jonathan Fruhman
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2015
Dimensions:   Width: 15.50cm , Height: 0.90cm , Length: 23.50cm
Weight:   2.526kg
ISBN:  

9783319258812


ISBN 10:   3319258818
Pages:   148
Publication Date:   16 November 2015
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now