SAT solving for improved rate of false positives

Student thesis: Master thesis (including HD thesis)

  • Milad Ruben Soro
4. term, Software, Master (Master Programme)
LanguageEnglish
Publication date3 Jun 2013
Number of pages40
ID: 77159919