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., marraskuuta 2021, julkaisussa: Theory and Practice of Logic Programming. 21, 6, s. 750-767

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    4 Lataukset (Pure)
  • Allen’s Interval Algebra Makes the Difference

    Janhunen, T. & Sioutis, M., 1 tammikuuta 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
    9 Lataukset (Pure)
  • An adaptive prefix-assignment technique for symmetry reduction

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

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    67 Lataukset (Pure)