Using SAT to study plane Hamiltonian substructures in simple drawings

arXiv2305.09432MaRDI QIDQ6436823

Stefan Felsner, Manfred Scheucher, Helena Bergold, Meghana M. Reddy

Publication date: 16 May 2023

Mathematics Subject Classification ID

Discrete geometry (52Cxx) Planar graphs; geometric and topological aspects of graph theory (05C10)

This page was built for publication: Using SAT to study plane Hamiltonian substructures in simple drawings