Parallel Variable Elimination on CNF Formulas

K. GebhardtK. Gebhardt, N. MantheyN. Manthey

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@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}
}