Properties of SAT formulas characterizing convex sets with given projections (Q6160797)
From MaRDI portal
scientific article; zbMATH DE number 7691378
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Properties of SAT formulas characterizing convex sets with given projections |
scientific article; zbMATH DE number 7691378 |
Statements
Properties of SAT formulas characterizing convex sets with given projections (English)
0 references
2 June 2023
0 references
discrete tomography
0 references
reconstruction
0 references
SAT formulas
0 references
