!!Research output per year
!!Research output per year
Projektdetails
| Status | Abgeschlossen |
|---|---|
| Tatsächliches Beginn-/Enddatum | 01.03.2018 → 28.02.2023 |
Wissenschaftszweige
- 202006 Computer Hardware
- 603109 Logik
- 102 Informatik
- 102031 Theoretische Informatik
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102001 Artificial Intelligence
- 101013 Mathematische Logik
- 102030 Semantische Technologien
JKU-Schwerpunkte
- Digital Transformation
Publikationen
- 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
-
Truth Assignments as Conditional Autarkies
Kiesl, B., Heule, M. & Biere, A., 2019, Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (Hrsg.). Springer, Band 11781. S. 48-64 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11781 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag