SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints
| Publication | Article in The Computer Journal, published January 2019 |
|---|---|
| Authors | Lydia W Rizkallah, Mona F Ahmed, Nevin M Darwish |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…