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

EasyChair Preprint no. 3285, version history

VersionDatePagesVersion notes
1April 28, 202018
2November 11, 202020

This version is submitted to SAT 2020.

Keyphrases: combinatorial optimization, route planning, Taxi sharing

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 no. 3285},

  year = {EasyChair, 2020}}