Schnubel, J. (2025). Optimization of Factorio Factory Layouts: An SMT-Solver Approach. https://doi.org/10.5281/zenodo.15836543