Abstract: The Steelmaking-Continuous Casting (SCC) scheduling problem is usually regarded as a type of hybrid flow-shop scheduling problems (HFSP) with special process constraints. To research the SCC ...

Abstract: A unification algorithm is one of the most important parts of a First-Order Logic (FOL) inference engine because it allows for the discovery of substitutions that make two logical ...