Multi-Flip Networks: A Parallelization of Local SAT-Algorithms

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

Multi-Flip Networks: A Parallelization of Local SAT-Algorithms

Antje StrohmaierAntje Strohmaier
Multi-Flip Networks: A Parallelization of Local SAT-Algorithms


Antje Strohmaier
Multi-Flip Networks: A Parallelization of Local SAT-Algorithms
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 1996. E{CAI}-96 {W}orkshop on {A}cvances in {P}ropositional {D}eduction
@techreport{S1996,
  author      = {Antje Strohmaier},
  title       = {Multi-Flip Networks: A Parallelization of Local
                 {SAT-Algorithms}},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {1996}
}