SMT techniques for planning problems 

Espasa Arxer, Joan (Date of defense: 2018-11-15)

Automated planning is a discipline in the field of Artificial Intelligence that can be described as the process of finding a course of action that achieves a specified task. In other words, it focuses on reasoning about ...