Properties of SAT formulas characterizing convex sets with given projections

DOI10.1007/978-3-031-19897-7_13zbMATH Open1522.68642OpenAlexW4313140639MaRDI QIDQ6160797FDOQ6160797

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

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

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)

Cites Work

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

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)