Approaches to Grid-Based SAT-Solving



Title:	Approaches to Grid-Based SAT-Solving Lauselogiikan toteutuvuustarkastusmenetelmiä grid-ympäristössä
Author(s):	Hyvärinen, Antti E. J.
Date:	2009
Language:	en
Pages:	vii + 76
Department:	Tietojenkäsittelytieteen laitos
Major/Subject:	Tietojenkäsittelyteoria
Supervising professor(s):	Niemelä, Ilkka
Thesis advisor(s):	Junttila, Tommi
Keywords:	propositional satisfiability, lauselogiikka, SAT solving, lauselogiikan toteutuvuustarkastus, computational grids, grid-ympäristöt, distributed search, hajautettu haku, multi-search, monihaku
	OEVS yes
» Show full item record
Permanent link to this item: http://urn.fi/URN:NBN:fi:aalto-202104155963 Email this Export to RefWorks QR Code Print BibTex Tweet