Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling (Logical Methods in Computer Science, 2025)