@inproceedings{f5fe3a38e3af4434bfc317ad7dd94560,
title = "Discretization of Temporal Models with Application to Planning with SMT",
keywords = "planning, SAT, SMT, temporal planning, planning, SAT, SMT, temporal planning, planning, SAT, SMT, temporal planning",
author = "Jussi Rintanen",
note = "VK: Niemel{\"a}, I.; HIIT",
year = "2015",
language = "English",
isbn = "978-1-57735-698-1",
publisher = "AAAI Press",
pages = "3349--3355",
booktitle = "29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015",
address = "United States",
}