A More Efficient Parallel Unit Propagation

PublikationenPublications

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

Toggle side column

A More Efficient Parallel Unit Propagation

Norbert MantheyNorbert Manthey

• Download

Norbert Manthey
A More Efficient Parallel Unit Propagation
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{M2011,
  author      = {Norbert Manthey},
  title       = {A More Efficient Parallel Unit Propagation},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2011}
}