Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01.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
Research output
- 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). Springer, Vol. 12178. p. 114-122 9 p. (Lecture Notes in Computer Science (LNCS)).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
- 2 Contributed talk
-
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App
Cerna, D. (Speaker)
18 Jun 2020Activity: Talk or presentation › Contributed talk › science-to-science
-
Computational Logic in the First Semester of Computer Science: An Experience Report
Cerna, D. (Speaker)
04 May 2020Activity: Talk or presentation › Contributed talk › science-to-science