Automated Decision Making via Satisfiability
Unified Planning is a framework sponsored by the EU, intending to make automated planning more accessible. It achieves this by providing access to a variety of different planning techniques in a modular fashion. I have implemented one such module for Planning as satisfiability modulo theories (SMTs), a boolean satisfiability based approach to planning.
Planning as SMT outperforms other techniques for many problem types, so providing access via my module improves the usefulness of the Unified Planning project.
Keywords
Artificial Intelligence, Constraint Programming, Dissertation, Automated Planning, PlanningStaff
[Joan Espasa]{jea20}