Modern Cooperative Parallel SAT Solving
From International Center for Computational Logic
Modern Cooperative Parallel SAT Solving
Ahmed IrfanAhmed Irfan, Davide LantiDavide Lanti, Norbert MantheyNorbert Manthey
![Modern Cooperative Parallel SAT Solving Modern Cooperative Parallel SAT Solving](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Ahmed Irfan, Davide Lanti, Norbert Manthey
Modern Cooperative Parallel SAT Solving
Pragmatics of SAT(POS'13), 2013
Modern Cooperative Parallel SAT Solving
Pragmatics of SAT(POS'13), 2013
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{ILM2013,
author = {Ahmed Irfan and Davide Lanti and Norbert Manthey},
title = {Modern Cooperative Parallel {SAT} Solving},
booktitle = {Pragmatics of {SAT(POS'13)}},
year = {2013}
}