1. SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints. (11th January 2019) Authors: Rizkallah, Lydia W; Ahmed, Mona F; Darwish, Nevin M Editors: Alechina, Natasha Journal: Computer journal Issue: Volume 63:Number 1(2020) Page Start: 91 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗