search query: @keyword lauselogiikka / total: 2
references: 1-2 / 2
« previous page | next page »
 titleyearauthor
1.
Toteutumattomuusongelman polynomiset varmenteet
 2014 Kuuranne, Veli
2.
Approaches to Grid-Based SAT-Solving
 2009 Hyvärinen, Antti E. J.
« previous page | next page »
INSSI