Properties of SAT Formulas Characterizing Convex Sets with Given Projections.

Niccolò Di Marco Andrea Frosini

Published in: DGMM (2022)

Keyphrases

convex sets
convex optimization
discrete tomography
finite number
variational inequalities
image recovery
discrete sets
convexity properties
convex hull
satisfiability problem
convex functions
sat solvers
higher dimensional
maximum likelihood
expectation maximization
tomographic reconstruction