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

EasyChair Preprint 3285, version history

Version	Date	Pages	Version 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}}