Comin, C., & Rizzi, R. (2016, January 4). Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking. Proceedings - International Workshop on Temporal Representation and Reasoning, 19-28. https://doi.org/10.1109/TIME.2015.18
Chicago-Zitierstil (17. Ausg.)Comin, Carlo, und Romeo Rizzi. "Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking." Proceedings - International Workshop on Temporal Representation and Reasoning 4 Jan. 2016: 19-28. https://doi.org/10.1109/TIME.2015.18.
MLA-Zitierstil (9. Ausg.)Comin, Carlo, und Romeo Rizzi. "Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking." Proceedings - International Workshop on Temporal Representation and Reasoning, 4 Jan. 2016, pp. 19-28, https://doi.org/10.1109/TIME.2015.18.