• Zum Inhalt
  • Zur Hauptnavigation
  • Zur Zielgruppennavigation
  • Zur Subnavigation
Westfälische Wilhelms-Universität Münster European Research Center for Information Systems
Institut für Wirtschaftsinformatik
  • Studierende
  • Studieninteressierte
  • Forschung
  • Das Institut
  • Der Campus
  • Karriere
  • Wirtschaftswissenschaften
  • Institut für Wirtschaftsinformatik
  • ERCIS
  • en
  • de
  • Startseite
    • Extraktion intrinsischer Features von 3SAT-Problemen mit Self-Supervised-Learning und Transformern zur instanzbasierten Auswahl von SAT-Solvern
12.09.2024 |
Dr. Moritz Vinzent Seiler

Extraktion intrinsischer Features von 3SAT-Problemen mit Self-Supervised-Learning und Transformern zur instanzbasierten Auswahl von SAT-Solvern

Relevanz Bachelor
Betreuer Dr. Moritz Vinzent Seiler
Themenersteller Prof. Dr.-Ing. Christian Grimme
Status der Abschlussarbeit Abgeschlossen
  • Benutzeranmeldung
    Please provide your WWU account
    Please provide your WWU password

Kontakt

Institut für Wirtschaftsinformatik

Leonardo-Campus 3
48149 Münster
Deutschland

Social Media

  • Youtube
  • Facebook
  • Instagram
  • LinkedIn
wissen. leben
  • Index
  • Sitemap
  • Kontakt
  • Anmelden
  • Impressum
  • Datenschutzhinweis

© 2025 Institut für Wirtschaftsinformatik