SoftVarE-Group/Slides

Stars
2
Language
License
Creative Commons ...
Created almost 4 years ago
Updated 4 months ago

SoftVarE-Group/Slides

SoftVarE-Group

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Slides of scientific presentations on research published by the SoftVarE group

SlideTemplate

A beamer latex template for slides and lectures at University of Ulm

Course-on-Software-Product-Lines

Material for lectures on software product lines

BibTags

A collection of cleaned BibTeX entries and tags to be used with MibTeX

emse-evaluation-sharpsat

Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"

BroT

Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'

Papers

Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.

feature-model-benchmark

d-dnnf-reasoner

Software-Engineering-2021-2022

Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022

BroTLibraryExample

Example Code for Using the SAT Encodings of BroT

MibTeX

Minimalistic tool to manage your references with BibTeX

ThesisTemplate

A template for bachelor, master, or PhD theses based on a template by Roland Bless and on a template by Martin Kuhlemann. The template is available for theses in English and in German. Bugs and recommendations are welcome.

Slides-of-the-SPL-Course

Released version of slides for the lecture on software product lines

Scientific-Writing

Slides for the lectures on scientific writing held at University of Ulm

sat2024-as4moco-evaluation

Replication package for submission to SAT24 conference