Login / Signup
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