SAT, SMT and Applications

  • Armin Biere (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period17 Sept 2009
Event title10th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'09)
Event typeOther
LocationGermanyShow on map

Fields of science

  • 102 Computer Sciences