Mikoláš Janota

Software-Entwicklung Eine neue Methode zur effizienten Fehlersuche in C-Programmen

Ein Verfahren vorstellen, das das Finden von Bugs in der C-Softwareentwicklung verbessert.

2025-07-14T12:45:24+00:00 ― 6 min Lesedauer

Künstliche Intelligenz Maschinelles Lernen nutzen, um SMT-Lösungen mit Quantoren zu verbessern

In diesem Artikel wird eine Methode vorgestellt, um das Lösen von SMT durch den Einsatz von maschinellem Lernen zur Auswahl von Quantoren zu verbessern.

2025-06-22T01:03:18+00:00 ― 5 min Lesedauer

Maschinelles Lernen Graph-Neuronale Netzwerke zur Lösung von Boolescher Erfüllbarkeit

Dieser Artikel untersucht, wie GNNs die Lösung von SAT-Problemen verbessern.

2025-06-21T16:21:54+00:00 ― 6 min Lesedauer

Software-Entwicklung Feedback in der Programmierausbildung verbessern

Ein neues Tool bietet schnelles Feedback für Programmieraufgaben.

2025-06-13T18:22:12+00:00 ― 7 min Lesedauer