Browsing by Author Rintanen, Jussi
Showing results 8 to 19 of 19
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search
Author(s) | Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | December 7 2010 |
Heuristics for Planning with SAT
Author(s) | Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | May 12-16 2010 |
Heuristics for Planning with SAT and Expressive Action Definitions
Author(s) | Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | June 11-16 2011 |
Planning as satisfiability with relaxed E-step plans
Author(s) | Wehrle, Martin; Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | December 2-6 2007 |
Planning as satisfiability: Parallel plans and algorithms for plan search
Author(s) | Rintanen, Jussi; Heljanko, Keijo; Niemela, Ilkka |
---|---|
Type | Journal article |
Date Published | 2006 |
Date Created | - |
Planning for temporally extended goals as propositional satisfiability
Author(s) | Mattmueller, Robert; Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | January 6-12 2007 |
Planning graphs and propositional clause-learning
Author(s) | Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | September 16-19 2008 |
Planning via petri net unfolding
Author(s) | Hickmott, Sarah; Rintanen, Jussi; Thiebaux, Sylvie, et al |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | January 6-12 2007 |
Planning with SAT, Admissible Heuristics and A*
Author(s) | Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | July 16-22 2011 |
Planning with Specialized SAT Solvers
Author(s) | Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | August 7-11 2011 |
Regression for classical and nondeterministic planning
Author(s) | Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | July 21-25 2008 |
Unified definition of heuristics for classical planning
Author(s) | Rintanen, Jussi |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | August 29-1 September 2006 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator