Constraint Solving and Planning with Picat - SpringerBriefs in Intelligent Systems
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783319258812, 9783319258836
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Advanced Constraint Modeling

2015 ◽  
pp. 53-82
Author(s):  
Neng-Fa Zhou ◽  
Håkan Kjellerstrand ◽  
Jonathan Fruhman
Keyword(s):  
Constraint Modeling

Basic Constraint Modeling

2015 ◽  
pp. 33-51
Author(s):  
Neng-Fa Zhou ◽  
Håkan Kjellerstrand ◽  
Jonathan Fruhman
Keyword(s):  
Constraint Modeling ◽  
Basic Constraint

An Overview of Picat

2015 ◽  
pp. 1-31
Author(s):  
Neng-Fa Zhou ◽  
Håkan Kjellerstrand ◽  
Jonathan Fruhman

Dynamic Programming with Tabling

2015 ◽  
pp. 83-99
Author(s):  
Neng-Fa Zhou ◽  
Håkan Kjellerstrand ◽  
Jonathan Fruhman
Keyword(s):  
Dynamic Programming

Planning with Resource-Bounded Search

2015 ◽  
pp. 115-128
Author(s):  
Neng-Fa Zhou ◽  
Håkan Kjellerstrand ◽  
Jonathan Fruhman

From Dynamic Programming to Planning

2015 ◽  
pp. 101-113
Author(s):  
Neng-Fa Zhou ◽  
Håkan Kjellerstrand ◽  
Jonathan Fruhman
Keyword(s):  
Dynamic Programming
Load More ...
Sign in / Sign up

Export Citation Format

Share Document