• Planning with Partial Observability by SAT

    Fadnis, S. & Rintanen, J., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer, p. 605-620 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14281 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    6 Downloads (Pure)
  • Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming

    Feyzbakhsh Rankooh, M. & Rintanen, J., 13 Jun 2022, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, p. 71-79 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling; vol. 32).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Open Access
    1 Citation (Scopus)
  • Efficient Encoding of Cost Optimal Delete-Free Planning as SAT

    Feyzbakhsh Rankooh, M. & Rintanen, J., 28 Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 9910-9917 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 36, no. 9).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Open Access