Sökning: "Niklas Sörensson"

Hittade 3 avhandlingar innehållade orden Niklas Sörensson.

1. 1. Applications of SAT solving

   Författare :Niklas Sörensson; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   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. 2. Effective SAT Solving

   Författare :Niklas Sörensson; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   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

4. 3. Marshallian sources of growth and interdependent location of Swedish firms and households

   Författare :Robert Sörensson; Lars Westin; Niklas Hanes; Johan Klaesson; Umeå universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Information and knowledge spillover; MAR; Jacobs and Porter externalities; labor pooling; interdependent location choice; panel data; Economics; Nationalekonomi; Economics; nationalekonomi;

   Sammanfattning : This thesis consists of three papers that examine Marshallian sources of growthand interdependent location of Swedish firms and households. Paper [I] examines the impact of static and dynamic knowledge externalitiesand their impact on Swedish market operating firms growth pattern between1997 and 2005. LÄS MER