Back to Search Start Over

An incremental SAT-based approach for solving the real-time taxi-sharing service problem

Authors :
Aolong Zha
Qiong Chang
Itsuki Noda
Source :
Discrete Applied Mathematics. 335:131-145
Publication Year :
2023
Publisher :
Elsevier BV, 2023.

Subjects

Subjects :
Applied Mathematics
Discrete Mathematics and Combinatorics

Details

ISSN :
0166218X
Volume :
335
Database :
OpenAIRE
Journal :
Discrete Applied Mathematics
Accession number :
edsair.doi...........6cac08758a8f27a53b0d92586e99624d

Tools

Authors Abstract Subjects Details