Exploiting Structure in Symmetry Detection for CNF - PowerPoint PPT Presentation

1 / 38
} ?>
View by Category
About This Presentation
Title:

Exploiting Structure in Symmetry Detection for CNF

Description:

Converts CNF formula to a colored undirected graph (Crawford) ... Distinguish vertices within colors based on that count. Repeat until coloring stabilizes ... – PowerPoint PPT presentation

Number of Views:31
Avg rating:3.0/5.0
Slides: 39
Provided by: angelapav
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com