Search for dissertations about: "sat"
Showing result 1 - 5 of 76 swedish dissertations containing the word sat.
-
1. Effective SAT Solving
Abstract : 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. READ MORE
-
2. Applications of SAT solving
Abstract : 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. READ MORE
-
3. SAT Based Model Checking
Abstract : 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. READ MORE
-
4. Animal genomics – gene discovery and gene characterization
Abstract : 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). READ MORE
-
5. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models
Abstract : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. READ MORE