Using SAT to study plane Hamiltonian substructures in simple drawings.

Helena Bergold Stefan Felsner Meghana M. Reddy Manfred Scheucher

Published in: CoRR (2023)

Keyphrases

neural network
three dimensional
computer vision
empirical studies
information retrieval
decision trees
experimental study
theoretical framework
straight line
satisfiability problem