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

Rüdiger Ehlers Kai Treutler Volker Wesling

Published in: SAT (2020)

Keyphrases

hamiltonian path
sat solving
sat solvers
symmetry breaking
constraint satisfaction
sat encodings
global constraints
linear constraints
boolean satisfiability
learning algorithm
data structure
lower bound
dynamic programming
sat problem
max sat
boolean optimization