@inproceedings{
    Rintanen15aaai,
    author = "Rintanen, Jussi",
    publisher = "AAAI Press",
    isbn = "978-1-57735-698-1",
    language = "eng",
    title = "Discretization of Temporal Models with Application to Planning with {SMT}",
    booktitle = "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence and the Twenty-Seventh Innovative Applications of Artificial Intelligence Conference",
    year = "2015",
    unitcode = "T306-99, T312-1",
    juforank = "0",
    flags = "COIN HIIT public TRITON",
    il = "no",
    eventdetails = "AAAI Conference on Artificial Intelligence, Austin Texas, United States",
    responsibleauthor = "Rintanen, Jussi",
    pdf = "Rintanen15aaai.pdf",
    kay = "NA",
    impactfactor = "A4",
    pages = "3349-3355"
}