Presentation of the SAT-Race 2006 Results

  • Carsten Sinz (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period15 Aug 2006
Event titleNinth International Conference on Theory and Applications of Satisfiability Testing (SAT'06)
Event typeConference
LocationUnited StatesShow on map

Fields of science

  • 102 Computer Sciences