search query: @keyword rajoiteohjelmointi / total: 5
reference: 3 / 5
Author: | Järvisalo, Matti |
Title: | Impact of Restricted Branching on Clause Learning SAT Solving |
Päätöksentekoheuristiikan rajoittamisen vaikutus klausuulioppiviin toteutuvuustarkastusmenetelmiin | |
Publication type: | Licentiate thesis |
Publication year: | 2007 |
Pages: | viii + 73 Language: eng |
Department/School: | Tietotekniikan osasto |
Main subject: | Tietojenkäsittelyteoria (T-119) |
Supervisor: | Niemelä, Ilkka |
Instructor: | Junttila, Tommi |
OEVS: | Electronic archive copy is available via Aalto Thesis Database.
Instructions Reading digital theses in the closed network of the Aalto University Harald Herlin Learning CentreIn the closed network of Learning Centre you can read digital and digitized theses not available in the open network. The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/ You can read theses on the Learning Centre customer computers, which are available on all floors.
Logging on to the customer computers
Opening a thesis
Reading the thesis
Printing the thesis
|
Location: | P1 Ark Aalto | Archive |
Keywords: | 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 record number: 34506
+ add basket
INSSI