For the 3D printing multi-objective optimization task scheduling problem, problem model is established from three aspects of related definition, constraint conditions, and objective function, which lays foundation for subsequent research solution.

In recent years, people have paid more and attention to traditional manufacturing's environmental impact, especially in terms of energy consumption related emissions carbon dioxide. Except for adopting new equipment, production scheduling could play an important role reducing the total a manufacturing plant. Machine tools waste considerable amount because their underutilization. Consequently, s...

This paper proposes a framework for time-efficiently finding multiple answers that meet logical constraints and are Pareto-optimal objective functions. The proposed determines set of optimal by iteratively replacing definite clauses. Clause replacement is performed using SAT solver consisting equivalent transformation rules (ETRs). An ETR replaces clause with one or more clauses while preservin...