Browsing by Subject "Different time steps"
Now showing items 1-1 of 1
-
Conference Object
Constraint propagation in propositional planning
(2010)Planning as Satisfiability is a most successful approach to optimal propositional planning. It draws its strength from the efficiency of state-of-the-art propositional satisfiability solvers, combined with the utilization ...