Thema3449: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Improving sat solvers using state-of-the-art techniques |Titel EN=Improving sat solvers using state-of-the-art techniques |Vorname=…“) |
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Abschlussarbeit | {{Abschlussarbeit | ||
|Titel DE=Improving | |Titel DE=Improving SAT Solvers Using State-of-the-Art Techniques | ||
|Titel EN=Improving | |Titel EN=Improving SAT Solvers Using State-of-the-Art Techniques | ||
|Vorname=Norbert | |Vorname=Norbert | ||
|Nachname=Manthey | |Nachname=Manthey | ||
Version vom 15. September 2016, 13:03 Uhr
Improving SAT Solvers Using State-of-the-Art Techniques
Masterarbeit von Norbert Manthey
- Betreuer Steffen Hölldobler
- Wissensverarbeitung
- – 16. April 2010
- Download
