haku: @keyword experimentation / yhteensä: 3
viite: 3 / 3
« edellinen | seuraava »
Tekijä: | Järvisalo, Matti |
Työn nimi: | Impact of Restricted Branching on Clause Learning SAT Solving |
Päätöksentekoheuristiikan rajoittamisen vaikutus klausuulioppiviin toteutuvuustarkastusmenetelmiin | |
Julkaisutyyppi: | Lisensiaatintutkimus |
Julkaisuvuosi: | 2007 |
Sivut: | viii + 73 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
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: | Boolean circuits branching heuristics clause learning constraint solving DPLL experimentation problem structure proof complexity propositional satisfiability Boolen piirit DPLL klausuulioppiminen kokeellinen tutkimus lauselogiikan toteutuvuusongelma ongelmien rakenne päätöksentekoheuristiikat rajoiteohjelmointi todistusten kompleksisuus |
ED: | 2007-09-10 |
INSSI tietueen numero: 34506
+ lisää koriin
« edellinen | seuraava »
INSSI