Luke Hunsberger, Roberto Posenato. Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking. In Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek, editors, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. Volume 120 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{HunsbergerP18a,
title = {Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking},
author = {Luke Hunsberger and Roberto Posenato},
year = {2018},
doi = {10.4230/LIPIcs.TIME.2018.15},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.15},
researchr = {https://researchr.org/publication/HunsbergerP18a},
cites = {0},
citedby = {0},
booktitle = {25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018},
editor = {Natasha Alechina and Kjetil Nørvåg and Wojciech Penczek},
volume = {120},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-089-7},
}