Investigate the influence of different warm-start and mixing operators on QAOA forweighted-SAT problems |
Masterarbeit |
Tim Bittner
Joshua Ammermann |
Offen |
QAOA: Feature Model to QUBO Transformation |
Masterarbeit |
Tim Bittner
Joshua Ammermann |
Offen |
Programmsynthese aus formalen Spezifikationen im Tool CorC |
Masterarbeit |
Tabea Bordis |
Offen |
Optimierung der Verifikation von Correct-by-Construction Produktlinien im Tool VarCorC |
Masterarbeit |
Tabea Bordis |
Offen |
Datengetriebene Modellierung eines Szenarienraums |
Masterarbeit |
Lukas Birkemeyer |
Offen |
Sampling Strategien zur Szenario Selektion |
Masterarbeit |
Lukas Birkemeyer |
Offen |
Enhancing Grover's Search for solving Satisfiability (SAT) Problems |
Masterarbeit |
Tim Bittner
Joshua Ammermann |
In Bearbeitung |