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

Hubie Chen, Michal Wrona

Browse the full TIME paper archive.