SAT solving for minimering af antal falske positiver

Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  • Milad Ruben Soro
4. semester, Software, Kandidat (Kandidatuddannelse)
SprogEngelsk
Udgivelsesdato3 jun. 2013
Antal sider40
ID: 77159919