A Short History on SAT Solver Technology and What is Next?

  • Armin Biere (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period31 May 2007
Event titleSAT 2007 - Tenth International Conference on Theory and Applications of Satisfiability Testing
Event typeOther
LocationPortugalShow on map

Fields of science

  • 102 Computer Sciences