An Incremental SAT-Based Approach for Solving the Real-Time Taxi-Sharing Service Problem

EasyChair Preprint 3285, version history

VersionDatePagesVersion notes
1
April 28, 2020
18
2
November 11, 2020
20

This version is submitted to SAT 2020.

Keyphrases: Taxi sharing, combinatorial optimization, route planning

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:3285,
  author    = {Aolong Zha and Qiong Chang and Itsuki Noda},
  title     = {An Incremental SAT-Based Approach for Solving the Real-Time Taxi-Sharing Service Problem},
  howpublished = {EasyChair Preprint 3285},
  year      = {EasyChair, 2020}}