SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints

Lydia W. Rizkallah, Mona F. Ahmed, Nevin M. Darwish. SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints. Comput. J., 63(1):91-104, 2020. [doi]

Abstract

Abstract is missing.