Formalizing the Face Lattice of Polyhedra - Archive ouverte HAL
Chapitre D'ouvrage Année : 2020

Dates et versions

hal-03151656 , version 1 (24-02-2021)

Identifiants

Citer

Xavier Allamigeon, Ricardo Katz, Pierre-Yves Strub. Formalizing the Face Lattice of Polyhedra. Automated Reasoning. IJCAR 2020, pp.185-203, 2020, ⟨10.1007/978-3-030-51054-1_11⟩. ⟨hal-03151656⟩
63 Consultations
0 Téléchargements

Altmetric

Partager

More