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]

Abstract

Abstract is missing.