Julkaisut 1983 2109

Suodatin
Ohjelmisto
2007

Type and hapax accumulation curves

Suomela, J., 2007

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

2010

InvCoal

Kollin, J. J., 2010

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

2011

Coral

Salmela, L., 2011

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

MIP Scaffolder

Salmela, L., 2011

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

2012

Implementation of Y.1731 for Linux

Varjonen, S., lokakuuta 2012

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

2014

LoRDEC

Salmela, L. M. & Rivals, E., 2014

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

2015

Gap2Seq

Salmela, L. M., Sahlin, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

LMHS: A SAT-IP Hybrid MaxSAT solver

Saikko, P. H. A. & Järvisalo, M. J., 2015

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

Musicreatures

Myllys, P. & Toivonen, H., 1 helmikuuta 2015

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

On representing graphs as membership digraphs - A proof scenario checked by Referee

Omodeo, E. & Tomescu, A. I., 2015

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

Pakota: A system for extension enforcement in abstract argumentation based on constraint optimization

Niskanen, A. J. A., Wallner, J. P. & Järvisalo, M. J., 2015

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

SNV-PPILP

van Rens, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

2016

AbHS: A propositional abduction solver based on the implicit hitting set paradigm

Saikko, P. H. A., Wallner, J. P. & Järvisalo, M. J., 2016

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

AFSynth (version 2016-08-10): Synthesizing Argumentation Frameworks from Examples

Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P., 10 elokuuta 2016

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

Digital Me server

Sjöberg, M. V., 2016

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

2017

LMHS 2017

Saikko, P. H. A. & Järvisalo, M. J., 10 elokuuta 2017

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

MaxPre: An Extended MaxSAT Preprocessor

Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J., 2017

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen