SATplan
29 novembro 2011, 11:00 • Rodrigo Ventura
Flexibility of POP. Continual planning. Introduction to SATplan. Reduction from STRIPS to a SAT problem. Operator splitting. Effect and frame axioms. Factoring.
29 novembro 2011, 11:00 • Rodrigo Ventura
Flexibility of POP. Continual planning. Introduction to SATplan. Reduction from STRIPS to a SAT problem. Operator splitting. Effect and frame axioms. Factoring.