Parallel Variable Elimination on CNF Formulas

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Parallel Variable Elimination on CNF Formulas

Kilian GebhardKilian Gebhard,  Norbert MantheyNorbert Manthey

Kilian Gebhard, Norbert Manthey
Parallel Variable Elimination on CNF Formulas
Pragmatics of SAT(POS'13), 2013

• Details
• Bibtex

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