LOGTECHEDU - Logic Technology for Computer Science Education

Project: Funded research › Federal / regional / local authorities

Project Details

StatusFinished
Effective start/end date01.03.2018 → 31.08.2020

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 503 Educational Sciences
  • 211 Other Technical Sciences
  • 503008 E-learning
  • 503007 Didactics
  • 503032 Teaching and learning research
  • 503015 Subject didactics of technical sciences
  • 503013 Subject didactics of natural sciences

JKU Focus areas

  • Sustainable Development: Responsible Technologies and Management
  • Digital Transformation
  • 2 Conference proceedings

  • 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 (ed.). Helsinki: University of Helsinki, Vol. vol. B-2020-1. p. 50-53 4 p. (Department of Computer Science Report Series B).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

  • Distributed Cube and Conquer with Paracooba

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

    Open Access
  • 2 Contributed talk