Sciweavers

96 search results - page 20 / 20
» On resolving Conflicts between Arguments
Sort
View
AIPS
2008
13 years 7 months ago
A Compact and Efficient SAT Encoding for Planning
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
Nathan Robinson, Charles Gretton, Duc Nghia Pham, ...