Fields of science
- 102 Computer Sciences
- 101 Mathematics
- 102011 Formal languages
JKU Focus areas
- Computation in Informatics and Mathematics
Automated Testing and Debugging of SAT and QBF Solvers
- Florian Lonsing (Speaker)
- Robert Brummayer (Speaker)
- Armin Biere (Speaker)
Activity: Talk or presentation › Contributed talk › unknown