Hubie Chen
Jednostki:
Publikacje:
2.
Manuel Bodirsky, Hubie Chen, Michał Wrona
Tractability of quantified temporal constraints to the max, International Journal of Algebra and Computation vol. 24 (2014), 1141-1156
1.
Hubie Chen, Michał Wrona
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction, 19th International Symposium On Temporal Representation and Reasoning (2012), 99-106