Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction

Hubie Chen, Michal Wrona. Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction. In Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani, editors, 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. pages 99-106, IEEE Computer Society, 2012. [doi]

Authors

Hubie Chen

This author has not been identified. Look up 'Hubie Chen' in Google

Michal Wrona

This author has not been identified. Look up 'Michal Wrona' in Google