Impact of Restricted Branching on Clause Learning SAT Solving
Loading...
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
Department
Major/Subject
Mcode
T-119
Degree programme
Language
en
Pages
viii + 73
Series
Description
Supervisor
Niemelä, IlkkaThesis advisor
Junttila, TommiKeywords
Boolean circuits, Boolen piirit, branching heuristics, DPLL, clause learning, klausuulioppiminen, constraint solving, kokeellinen tutkimus, DPLL, lauselogiikan toteutuvuusongelma, experimentation, ongelmien rakenne, problem structure, päätöksentekoheuristiikat, proof complexity, rajoiteohjelmointi, propositional satisfiability, todistusten kompleksisuus