• Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    TeX
  • License
    GNU Lesser Genera...
  • Created over 7 years ago
  • Updated 2 months ago

Reviews

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

Repository Details

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

More Repositories

1

SlideTemplate

A beamer latex template for slides and lectures at University of Ulm
TeX
13
star
2

Course-on-Software-Product-Lines

Material for lectures on software product lines
TeX
11
star
3

emse-evaluation-sharpsat

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

BroT

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

Papers

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

feature-model-benchmark

Python
4
star
7

d-dnnf-reasoner

Rust
4
star
8

Software-Engineering-2021-2022

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

BroTLibraryExample

Example Code for Using the SAT Encodings of BroT
Java
2
star
10

Slides

Slides of scientific presentations on research published by the SoftVarE group
2
star
11

MibTeX

Minimalistic tool to manage your references with BibTeX
Java
2
star
12

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.
TeX
2
star
13

Slides-of-the-SPL-Course

Released version of slides for the lecture on software product lines
1
star
14

Scientific-Writing

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

sat2024-as4moco-evaluation

Replication package for submission to SAT24 conference
Java
1
star