التفاصيل البيبلوغرافية
| العنوان: |
Att lösa sudoku med SAT-lösare |
| Alternate Title: |
Solving Sudoku with SAT-solvers |
| المؤلفون: |
Emanuelsson, Kristoffer, Stenström, Ludvig |
| بيانات النشر: |
KTH, Skolan för datavetenskap och kommunikation (CSC), 2014. |
| سنة النشر: |
2014 |
| المجموعة: |
DiVA Archive at Upsalla University |
| مصطلحات موضوعية: |
Computer Sciences, Datavetenskap (datalogi) |
| Original Identifier: |
oai:DiVA.org:kth-157549 |
| نوع الوثيقة: |
Text |
| وصف الملف: |
application/pdf |
| اللغة: |
Swedish |
| الاتاحة: |
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-157549 |
| Rights: |
info:eu-repo/semantics/openAccess |
| رقم الانضمام: |
edsndl.UPSALLA1.oai.DiVA.org.kth.157549 |
| قاعدة البيانات: |
Networked Digital Library of Theses & Dissertations |