Adaptive Restart Control for Conflict Driven SAT Solvers

  • Armin Biere (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period15 May 2008
Event title11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'08)
Event typeConference
LocationChinaShow on map

Fields of science

  • 102 Computer Sciences