Properties of SAT Formulas Characterizing Convex Sets with Given Projections

Author(s)

Di Marco, Niccolò

Frosini, Andrea

Date Issued

2022

Type

conferenceObject

Volume

13493

Start Page

153

End Page

166

DOI

10.1007/978-3-031-19897-7_13

ISSN

0302-9743

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Handle

http://hdl.handle.net/2067/54391