Verkko

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
  • Solution Enumeration by Optimality in Answer Set Programming

    Pajunen, J. & Janhunen, T., 10 marrask. 2021, julkaisussa: Theory and Practice of Logic Programming. 21, 6, s. 750-767

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    2 Sitaatiot (Scopus)
    33 Lataukset (Pure)
  • Allen’s Interval Algebra Makes the Difference

    Janhunen, T. & Sioutis, M., 1 tammik. 2020, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers. Hofstedt, P., Abreu, S., John, U., Kuchen, H. & Seipel, D. (toim.). s. 89-98 10 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12057 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    Open access
    Tiedosto
    31 Lataukset (Pure)
  • An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., elok. 2020, julkaisussa: JOURNAL OF SYMBOLIC COMPUTATION. 99, s. 21-49 29 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    105 Lataukset (Pure)