Carlo Comin, Romeo Rizzi. Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking. In 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. pages 19-28, IEEE, 2015. [doi]
@inproceedings{CominR15,
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},
doi = {10.1109/TIME.2015.18},
url = {http://dx.doi.org/10.1109/TIME.2015.18},
researchr = {https://researchr.org/publication/CominR15},
cites = {0},
citedby = {0},
pages = {19-28},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015},
publisher = {IEEE},
isbn = {978-1-4673-9317-1},
}