Sökning: "SAT"
Visar resultat 1 - 5 av 84 avhandlingar innehållade ordet SAT.
1. Effective SAT Solving
Sammanfattning : A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several important application areas. LÄS MER
2. Applications of SAT solving
Sammanfattning : In the area of formal verification it is well known that there can be no single logic that suits all needs. This insight motivates the diversity of this dissertation: it contains contributions to SAT solving, First Order theorem proving and Model Finding, and Symbolic Model Checking. LÄS MER
3. SAT Based Model Checking
Sammanfattning : This Thesis is a study of automatic reasoning about finite state machines (FSMs). Two techniques used in hardware verification are presented. In both, the verification is carried out by a translation of the problem into propositional logic. Satisfiability and validity of propositional formulas are decided by the use of a SAT solver. LÄS MER
4. Drogval, kön och personlighet : En perceptgenetisk undersökning av narkomaner
Sammanfattning : The topic dealt with in this thesis is whether, as Wieder and Kaplan (1969) suggest, the personality of drug addicts is related to their particular drug of choice. The subjects were 128 heavy drug addicts, 37 women and 91 men, each of them selected for the fact of there being one basic drug he/she abused. LÄS MER
5. Animal genomics – gene discovery and gene characterization
Sammanfattning : This thesis involves two projects. The aim in the first project was to identify genomic regions associated with spontaneous autoimmune thyroiditis (SAT), which is a hereditary autoimmune disease that affects the obese strain (OS) of chicken, an animal model for human Hashimoto’s thyroiditis (HT). LÄS MER