Properties of SAT formulas characterizing convex sets with given projections (Q6160797)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Properties of SAT formulas characterizing convex sets with given projections |
scientific article; zbMATH DE number 7691378
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8201143145561218
0 references
0.8154906034469604
0 references
0.7974621057510376
0 references
0.7878749966621399
0 references
0.7852222919464111
0 references
