Essays about: "Dennis Örnberg"

Found 2 essays containing the words Dennis Örnberg.

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

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Dennis Örnberg; [2022]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Linköpings universitet/Databas och informationsteknik

    Author : Dennis Örnberg; [2016]
    Keywords : ;

    Abstract : 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. READ MORE