An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Hubie Chen, Moritz Müller. An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 215-224, IEEE, 2012. [doi]

The following publications are possibly variants of this publication:

The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element CaseHubie Chen. SICOMP, 37(5):1674-1701, 2008. [doi]

Quantified Constraint Satisfaction on MonoidsHubie Chen, Peter Mayr. csl 2016: [doi]

Meditations on Quantified Constraint SatisfactionHubie Chen. BIRTHDAY 2012: 35-49 [doi]

Relatively quantified constraint satisfactionManuel Bodirsky, Hubie Chen. constraints, 14(1):3-15, 2009. [doi]

runs on WebDSL