Projekt per år
Originalspråk | engelska |
---|---|
Titel på värdpublikation | Proceedings of Pragmatics of SAT 2015 and 2018 |
Redaktörer | Daniel Le Berre, Matti Järvisalo |
Antal sidor | 15 |
Utgivningsort | Manchester, UK |
Förlag | EasyChair Publications |
Utgivningsdatum | 2019 |
Sidor | 50-64 |
DOI | |
Status | Publicerad - 2019 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | International Conferences on Theory and Applications of Satisfiability Testing - Austin, Förenta Staterna (USA) Varaktighet: 24 sep. 2015 → 27 sep. 2015 Konferensnummer: 18 https://www.cs.utexas.edu/~marijn/sat15/ |
Publikationsserier
Namn | EPiC Series in Computing |
---|---|
Förlag | EasyChair |
Volym | 59 |
ISSN (elektroniskt) | 2398-7340 |
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
Projekt
- 2 Slutfört
-
Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Projektledare)
01/01/2015 → 31/12/2018
Projekt: Helsingfors Universitetets treåriga forskningsprojekt
-
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektledare)
01/09/2014 → 31/08/2019
Projekt: Forskningsprojekt