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.