Automated Testing and Debugging of SAT and QBF Solvers

  • Florian Lonsing (Speaker)
  • Robert Brummayer (Speaker)
  • Armin Biere (Speaker)

Activity: Talk or presentationContributed talkunknown

Period13 Jul 2010
Event title13th International Conference on
Event typeConference
LocationUnited KingdomShow on map

Fields of science

  • 102 Computer Sciences
  • 101 Mathematics
  • 102011 Formal languages

JKU Focus areas

  • Computation in Informatics and Mathematics