Inari Listenmaa

Gästforskare vid Chalmers, Data- och informationsteknik, Funktionell programmering

Visar 3 publikationer

2018

Automatic test suite generation for PMCFG grammars

Inari Listenmaa, Koen Lindström Claessen
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2016

Analysing Constraint Grammars with a SAT-solver

Inari Listenmaa, Koen Lindström Claessen
, p. 699-706
Paper i proceeding
2015

Constraint Grammar as a SAT problem

Inari Listenmaa, Koen Lindström Claessen
(113), p. 24-27
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Inari Listenmaa medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.