Back to Results
First PageMeta Content
Model theory / Constraint programming / Logical truth / Mathematical logic / Formal languages / Structure / Interpretation / Satisfiability / Substitution / Constraint satisfaction problem / Complexity of constraint satisfaction / Boolean satisfiability problem


Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K.
Add to Reading List

Document Date: 2011-07-07 11:03:52


Open Document

File Size: 174,65 KB

Share Result on Facebook