Bit-Precise-Reasoning Periode II (Subprojekt des NFN S-114)

  • Niemetz, Aina (Researcher)
  • Preiner, Mathias (Researcher)
  • Seidl, Martina (Researcher)
  • Sperl, Christoph (Researcher)
  • Biere, Armin (PI)

Project: Funded research › FWF - Austrian Science Fund

Project Details

StatusFinished
Effective start/end date01.03.2014 → 28.02.2019

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 102031 Theoretical computer science