@misc{indiciaee25209d3abe9,
  title = {Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking},
  author = {Carlo Comin and Romeo Rizzi},
  year = {2015},
  url = {https://arxiv.org/abs/1505.00828},
  note = {Source identifier: 1505.00828}
}