Parallel Variable Elimination on CNF Formulas
Aus International Center for Computational Logic
Parallel Variable Elimination on CNF Formulas
K. GebhardtK. Gebhardt, N. MantheyN. 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)
K. Gebhardt, N. Manthey
Parallel Variable Elimination on CNF Formulas
In I. J. Timm and M. Thimm, eds., KI 2013: Advances in Artificial Intelligence,, volume 8077 of LNCS, 61-73, 2013. Springer
Parallel Variable Elimination on CNF Formulas
In I. J. Timm and M. Thimm, eds., KI 2013: Advances in Artificial Intelligence,, volume 8077 of LNCS, 61-73, 2013. Springer
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{GM2013,
author = {K. Gebhardt and N. Manthey},
title = {Parallel Variable Elimination on {CNF} Formulas},
editor = {I. J. Timm and M. Thimm},
booktitle = {KI 2013: Advances in Artificial Intelligence,},
series = {LNCS},
volume = {8077},
publisher = {Springer},
year = {2013},
pages = {61-73}
}