Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Solution Enumeration by Optimality in Answer Set Programming

    Pajunen, J. & Janhunen, T., 10 Nov 2021, In: Theory and Practice of Logic Programming. 21, 6, p. 750-767

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    1 Citation (Scopus)
    26 Downloads (Pure)
  • Allen’s Interval Algebra Makes the Difference

    Janhunen, T. & Sioutis, M., 1 Jan 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. (eds.). p. 89-98 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12057 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
    23 Downloads (Pure)
  • An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., Aug 2020, In: JOURNAL OF SYMBOLIC COMPUTATION. 99, p. 21-49 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    95 Downloads (Pure)