• 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. (toim.). Springer, s. 605-620 16 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14281 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

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

    Feyzbakhsh Rankooh, M. & Rintanen, J., 13 kesäk. 2022, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (toim.). AAAI Press, s. 71-79 9 Sivumäärä (Proceedings of the International Conference on Automated Planning and Scheduling; Vuosikerta 32).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

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

    Feyzbakhsh Rankooh, M. & Rintanen, J., 28 kesäk. 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, s. 9910-9917 8 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence; Vuosikerta 36, nro 9).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access