Numeric Planning with Disjunctive Global Constraints via SMT

Citation

Scala, E, Ramirez Javega, M, Haslum, P et al 2016, 'Numeric Planning with Disjunctive Global Constraints via SMT', International Conference on Automated Planning and Scheduling (ICAPS 2016), ed. Coles A.,Edelkamp S.,Coles A.,Sanner S.,Magazzeni D., Association for the Advancement of Artificial Intelligence (AAAI), OnLine, pp. 276-284.

Year

2016

Fields of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified
  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  21 May 2022 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers