| 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 |
