Author's notes on the paper “SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing”

This page contains some additional information to the paper SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing by Rüdiger Ehlers. Kai Treutler, and Volker Wesling.

Errata List

There is a deviation between the description of temperature loss in the paper and temperature loss in the simulation used for the experiments. In particular, the simulator computes the heat loss due to radiation as proportional to the fourth power of the temperature difference between the block and the environment. In this first initial evaluation of how to plan paths under constraints imposed by a complex simulation, this does not make a substantial difference, though. The constants used in the heat loss process have been chosen in a way that they lead to interesting search problems (as explained in the paper), so that the experimental evaluation only explores the effectiveness of the fragmented Hamiltonian path encoding and the interaction between the heat loss theory solver and the fragmented Hamiltonian path constraint encoding. Both of these aspects are not affected by the error.

Note

The implementation used for the experimental results in the paper is available on request.