Inssi

Helecon

Asiasanasto

Tenttu

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

viitteet: 1-6 / 6

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Integrating Stratum and A+ Functionalities in Moodle: Architecture and Evaluation	2016	Riekkinen, Markku
2.	Extending SAT solver with parity constraints	2010	Laitinen, Tero Olavi
3.	Approaches to Grid-Based SAT-Solving	2009	Hyvärinen, Antti E. J.
4.	Impact of Restricted Branching on Clause Learning SAT Solving	2007	Järvisalo, Matti
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