Sökning: "Dennis Örnberg"

Hittade 2 uppsatser innehållade orden Dennis Örnberg.

1. 1. Prototyping an mcSAT-based SMTsolver in Rust

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Dennis Örnberg; [2022]
   Nyckelord :;

   Sammanfattning : Satisfiability modulo theories, or SMT, is the decision problem of determining whether a set of formulas is satisfiable or not, given one or more background theories. The model-constructing satisfiability calculus, or mcSAT, is a framework used for solving SMT problems. LÄS MER

3. 2. Comparison and implementation of graph visualization algorithms using JavaFX

   M1-uppsats, Linköpings universitet/Databas och informationsteknik

   Författare :Dennis Örnberg; [2016]
   Nyckelord :;

   Sammanfattning : Graph drawing is an important area in computer science and it has many different application areas. For example, graphs can be used to visualize structures like networks and databases. When the graphs are really big, however, it becomes difficult to draw them so that the user can get a good overview of the whole graph and all of its data. LÄS MER