A Short History of SAT Based Model Checking: From Bounded Model Checking to Interpolation.

  • Armin Biere (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period02 Jun 2008
Event titleSeminar Faculty of Information Technology
Event typeOther
LocationCzech RepublicShow on map

Fields of science

  • 102 Computer Sciences