Temporal Planning with Clock-Based SMT Encodings

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

1 Finished

1 results

Filter

Finnish centre of excellence in computational inference research
Xu, Y., Pesonen, H., Rintanen, J., Kaski, S., Anwer, R., Parviainen, P., Soare, M., Weinzierl, A. & Vuollekoski, H.
01/01/2015 → 28/02/2018
Project: Academy of Finland: Other research funding