TY  - RPRT
TI  - Proving hamiltonian properties in connected 4-regular graphs: an ILP-based approach
AU  - Giuseppe Lancia
AU  - Eleonora Pippia
AU  - Franca Rinaldi
PY  - 2021
UR  - https://arxiv.org/abs/2112.05087
ID  - 2112.05087
ER  -