|
|
|
 |
|
|
held by: |
Prof. Dr. Markus Holzer
Dipl.-Inf. Michael Tautschnig
|
|
|
|
held in: |
WS 2006/2007
|
|
|
|
news: |
Vorbesprechung am 7.11.2006 um 15:00 Uhr im Raum 03.09.014
|
|
|
|
Das Problem der Erfüllbarkeit Boolescher Schaltkreise ist bekanntermaßen NP vollständig. Dennoch können moderne SAT Solver Probleme mit mehreren Tausend Variablen in kürzester Zeit lösen. Effiziente SAT Solver sind in der Praxis von großer Bedeutung, insbesondere im Umfeld von Hardware Verifikation und Model Checking.
Um die Entwicklung solcher Verfahren zu fördern, findet regelmäßig die SAT competition (http://www.satcompetition.org/) statt. Entsprechend wird auch dieses Praktikum wettbewerbsähnlich stattfinden, d.h. die Teams werden Löser implementieren und die Löser gegeneinander antreten lassen.
|
|
|
|
downloadable material:
|
|
|
|
slides
|
|
title / description
|
download
|
|
Folien der Vorbesprechung
|
click here...
|
|
|
 |
|
|
 |
Contact
Teaching
