Multi-Flip Networks: Parallelizing GenSAT

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Multi-Flip Networks: Parallelizing GenSAT

Antje StrohmaierAntje Strohmaier

Antje Strohmaier
Multi-Flip Networks: Parallelizing GenSAT
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 349-360, 1997

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{S1997,
  author    = {Antje Strohmaier},
  title     = {Multi-Flip Networks: Parallelizing {GenSAT}},
  editor    = {G. Brewka and C. Habel and B. Nebel},
  booktitle = {KI-97: Advances in {AI}},
  year      = {1997},
  pages     = {349-360}
}