Browse by Author "Robinson, Nathan Mark"
Now showing items 1-5 of 5
| 1. |
Cost-Optimal Planning using Weighted MaxSAT
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2010 Author(s): Robinson, Nathan Mark, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 2. |
SAT-Based Parallel Planning Using a Split Representation of Actions
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2009 Author(s): Robinson, Nathan Mark, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 3. |
Propositional Probabilistic Planning-as-Satisfiability using Stochastic Local Search
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2008 Author(s): Robinson, Nathan Mark, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 4. |
A Compact and Efficient SAT Encoding for Planning
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2008 Author(s): Robinson, Nathan Mark, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 5. |
LPForget: A system of forgetting in answer set programming
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2006 Author(s): Cheng, Fu-Leung, Eiter, Thomas, Robinson, Nathan Mark, Sattar, Abdul, Wang, Kewen |
Now showing items 1-5 of 5
Footer information
Back to top
This document has been optimised for printing, some elements from the original webpage may have been altered or removed.