Decomposing SAT Instances with Pseudo Backbones (Q3304190)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decomposing SAT Instances with Pseudo Backbones |
scientific article |
Statements
Decomposing SAT Instances with Pseudo Backbones (English)
0 references
5 August 2020
0 references
satisfiability
0 references
decomposition
0 references
partition crossover
0 references
visualization
0 references
treewidth
0 references
pseudo-backbone
0 references
0 references