Properties of SAT formulas characterizing convex sets with given projections. (English) Zbl 1522.68642
Baudrier, Étienne (ed.) et al., Discrete geometry and mathematical morphology. Second international joint conference, DGMM 2022, Strasbourg, France, October 24–27, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13493, 153-166 (2022).