Constraint Reasoning and Optimization research group / Matti Järvisalo

Organisational unit: Research Group

Latest research outputs

  1. Towards Transformational Creation of Novel Songs

    Research output: Contribution to journalArticleScientificpeer-review

  2. Accepted/In press

    Core-Boosted Linear Search for Incomplete MaxSAT

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

  3. Accepted/In press

    Preprocessing Argumentation Frameworks via Replacement Patterns

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

ID: 23545798