Embeddings for Disjunctive Programs with Applications to Political Districting and Rectangle Packing. - William James Fravel III (2024)