Extended Resolution in Modern SAT Solving
Aus International Center for Computational Logic
Extended Resolution in Modern SAT Solving
Norbert MantheyNorbert Manthey
![Extended Resolution in Modern SAT Solving Extended Resolution in Modern SAT Solving](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Norbert Manthey
Extended Resolution in Modern SAT Solving
Joint Automated Reasoning Workshop and Deduktionstreffen, 2014
Extended Resolution in Modern SAT Solving
Joint Automated Reasoning Workshop and Deduktionstreffen, 2014
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{M2014,
author = {Norbert Manthey},
title = {Extended Resolution in Modern {SAT} Solving},
booktitle = {Joint Automated Reasoning Workshop and Deduktionstreffen},
year = {2014}
}