Logical Methods in Computer Science - Periode II (DK W-1255)

Project: Funded research › FWF - Austrian Science Fund

Project Details

StatusFinished
Effective start/end date01.03.2018 → 28.02.2023

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 101013 Mathematical logic
  • 102030 Semantic technologies

JKU Focus areas

  • 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

  • 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. Yu-Fang Chen and Chih-Hong Cheng and Javier Esparza (ed.). Springer, Vol. 11781. p. 48-64 17 p. (Lecture Notes in Computer Science (LNCS)).

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