An Incremental SAT-Based Approach for Solving the Real-Time Taxi-Sharing Service ProblemEasyChair Preprint no. 3285, version historyKeyphrases: combinatorial optimization, route planning, Taxi sharing |
| |
Copyright © 2012-2024 easychair.org. All rights reserved. |