SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing. - Rüdiger Ehlers; Kai Treutler; Volker Wesling (SAT, 2020)