SAT solving for improved rate of false positives
Student thesis: Master thesis (including HD thesis)
- Milad Ruben Soro
4. term, Software, Master (Master Programme)
| Language | English |
|---|---|
| Publication date | 3 Jun 2013 |
| Number of pages | 40 |
Shortcuts
Log inContact AAU
If you have any questions about research registration, dissemination or analysis at Aalborg University, you are always welcome to contact:
The VBN Office
E-mail: vbn@aub.aau.dk