Multi-Flip Networks: Parallelizing GenSAT

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Multi-Flip Networks: Parallelizing GenSAT

Antje StrohmaierAntje Strohmaier
Multi-Flip Networks: Parallelizing GenSAT


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