共 50 条
- [7] ON COUNTING LATTICE POINTS IN POLYHEDRA [J]. SIAM JOURNAL ON COMPUTING, 1991, 20 (04) : 695 - 707
- [9] Lattice polyhedra and submodular flows [J]. Japan Journal of Industrial and Applied Mathematics, 2012, 29 : 441 - 451
- [10] Formalizing the Face Lattice of Polyhedra [J]. AUTOMATED REASONING, PT II, 2020, 12167 : 185 - 203