Techreport3030: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Norbert Manthey (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Norbert |ErsterAutorNachname=Manthey }} {{Techreport |Title=Refining Unsatisfiable Cores in Incremental SAT Solv…“) |
Norbert Manthey (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 11: | Zeile 11: | ||
{{Publikation Details | {{Publikation Details | ||
|Bild=Refine-cores-nmanthey-2015.pdf | |Bild=Refine-cores-nmanthey-2015.pdf | ||
|Download=Refine-cores-nmanthey-2015.pdf | |||
|Projekt=PSAT | |Projekt=PSAT | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
}} | }} | ||
Aktuelle Version vom 4. Mai 2017, 22:05 Uhr
Refining Unsatisfiable Cores in Incremental SAT Solving
Norbert MantheyNorbert Manthey
Norbert Manthey
Refining Unsatisfiable Cores in Incremental SAT Solving
Technical Report, TU Dresden, September 2015
Refining Unsatisfiable Cores in Incremental SAT Solving
Technical Report, TU Dresden, September 2015
- Projekt:Project: PSAT
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{M2015,
author = {Norbert Manthey},
title = {Refining Unsatisfiable Cores in Incremental {SAT} Solving},
institution = {TU Dresden},
year = {2015},
month = {September}
}
