Properties of SAT formulas characterizing convex sets with given projections

DOI10.1007/978-3-031-19897-7_13MaRDI QIDQ6160797zbMATH OpenOpenAlexFDO

Authors Niccolò Di Marco, Andrea Frosini

Publication date 2 June 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-19897-7_13

zbMATH Keywords

reconstructiondiscrete tomographySAT formulas

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Polyominoes (05B50) Computational aspects of satisfiability (68R07)

Recommendations

• Tomographic reconstruction of 2-convex polyominoes using dual Horn clauses
• Reconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections.
• Reconstructing convex polyominoes from horizontal and vertical projections
• Reconstruction of canonical \(hv\)-convex discrete sets from horizontal and vertical projections
• Reconstruction of convex polyominoes from orthogonal projections of their contours

Cites work

• A measure of directional convexity inspired by binary tomography
• Certain words on the real projective line
• Characterization of hv-convex sequences
• Combinatorics on Words
• Discrete tomography. Foundations, algorithms, and applications
• Further steps on the reconstruction of convex polyominoes from orthogonal projections
• Lyndon + Christoffel = digitally convex
• On 3-hypergraphs with equal degree sequences.
• On some geometric aspects of the class of \(hv\)-convex switching components
• Reconstructing convex polyominoes from horizontal and vertical projections
• Regular switching components
• The number of convex polyominoes reconstructible from their orthogonal projections
• Tomographic reconstruction of 2-convex polyominoes using dual Horn clauses

Cited in

(2)

• \textsc{Minimum Surgical Probing} with convexity constraints
• Reconstruction of Convex Sets from One or Two X-rays

This page was built for publication: Properties of SAT formulas characterizing convex sets with given projections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160797)