SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing.

Rdiger Ehlers, Kai Treutler, Volker Wesling

Browse the full SAT paper archive.