haku: @keyword SAT solving / yhteensä: 1
viite: 1 / 1
« edellinen | seuraava »
| Tekijä: | Hyvärinen, Antti E. J. |
| Työn nimi: | Approaches to Grid-Based SAT-Solving |
| Lauselogiikan toteutuvuustarkastusmenetelmiä grid-ympäristössä | |
| Julkaisutyyppi: | Lisensiaatintutkimus |
| Julkaisuvuosi: | 2009 |
| Sivut: | vii + 76 Kieli: eng |
| Koulu/Laitos/Osasto: | Tietojenkäsittelytieteen laitos |
| Oppiaine: | Tietojenkäsittelyteoria (T-119) |
| Valvoja: | Niemelä, Ilkka |
| Ohjaaja: | Junttila, Tommi |
| OEVS: | Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa. Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/ Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.
Kirjautuminen asiakaskoneille
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
| Sijainti: | P1 Ark Aalto | Arkisto |
| Avainsanat: | propositional satisfiability SAT solving computational grids distributed search multi-search lauselogiikka lauselogiikan toteutuvuustarkastus grid-ympäristöt hajautettu haku monihaku |
| ED: | 2009-04-15 |
INSSI tietueen numero: 37296
+ lisää koriin
« edellinen | seuraava »
INSSI