Multi-Flip Networks: A Parallelization of Local SAT-Algorithms
Aus International Center for Computational Logic
Multi-Flip Networks: A Parallelization of Local SAT-Algorithms
Antje StrohmaierAntje Strohmaier
![Multi-Flip Networks: A Parallelization of Local SAT-Algorithms Multi-Flip Networks: A Parallelization of Local SAT-Algorithms](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@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}
}