Parallel Variable Elimination on CNF Formulas
Aus International Center for Computational Logic
Parallel Variable Elimination on CNF Formulas
Kilian GebhardKilian Gebhard, Norbert MantheyNorbert Manthey
![Parallel Variable Elimination on CNF Formulas Parallel Variable Elimination on CNF Formulas](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Kilian Gebhard, Norbert Manthey
Parallel Variable Elimination on CNF Formulas
Pragmatics of SAT(POS'13), 2013
Parallel Variable Elimination on CNF Formulas
Pragmatics of SAT(POS'13), 2013
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{GM2013,
author = {Kilian Gebhard and Norbert Manthey},
title = {Parallel Variable Elimination on {CNF} Formulas},
booktitle = {Pragmatics of {SAT(POS'13)}},
year = {2013}
}