Browsing by Author "Espasa Arxer, Joan"
​ ​ ​ ​

The RANTANPLAN planner: system description

SMT techniques for planning problems

Thesis open access ​

​