Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

LOGTECHEDU - Logic Technology for Computer Science Education

Projekt: Geförderte Forschung › Bund / Land / Gemeinden

Projektdetails

StatusAbgeschlossen
Tatsächliches Beginn-/Enddatum01.03.2018 → 31.08.2020

Wissenschaftszweige

  • 202006 Computer Hardware
  • 603109 Logik
  • 102 Informatik
  • 102031 Theoretische Informatik
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence
  • 503 Erziehungswissenschaften
  • 211 Andere Technische Wissenschaften
  • 503008 E-Learning
  • 503007 Didaktik
  • 503032 Lehr- und Lernforschung
  • 503015 Fachdidaktik Technische Wissenschaften
  • 503013 Fachdidaktik Naturwissenschaften

JKU-Schwerpunkte

  • Sustainable Development: Responsible Technologies and Management
  • Digital Transformation
  • 2 Konferenzbeitrag

  • CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020

    Biere, A., Fazekas, K., Fleury, M. & Heisinger, M., 2020, Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions. Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda (Hrsg.). Helsinki: University of Helsinki, Band vol. B-2020-1. S. 50-53 4 S. (Department of Computer Science Report Series B).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag

  • Distributed Cube and Conquer with Paracooba

    Heisinger, M., Fleury, M. & Biere, A., Juli 2020, Proc. 23rd Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'20). Pulina, L. & Seidl, M. (Hrsg.). Springer, Band 12178. S. 114-122 9 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12178 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
  • 2 Vortrag nach Bewerbung und Auswahl