Inssi

Helecon

Asiasanasto

Tenttu

haku: @instructor Junttila, Tommi / yhteensä: 6

viitteet: 5-6 / 6

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
5.	SATU: a System for Distributed Propositional Satisfiability Checking in Computational GRIDs	2005	Hyvärinen, Antti
6.	Proof Complexity of Cut-Based Tableaux for Boolean Circuit Satisfiability Checking	2004	Järvisalo, Matti

« edellinen sivu | seuraava sivu »

INSSI