Similar Items: Quantified Constraints and Containment Problems
- An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
- Logical compactness and constraint satisfaction problems
- Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction
- A finer reduction of constraint problems to digraphs
- The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
- Universal Algebraic Methods for Constraint Satisfaction Problems