The following pages link to Closure properties of constraints (Q4376981):
Displayed 50 items.
- Distance constraint satisfaction problems (Q259047) (← links)
- Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
- Testing list \(H\)-homomorphisms (Q347111) (← links)
- Colouring, constraint satisfaction, and complexity (Q458466) (← links)
- Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
- Boolean max-co-clones (Q494629) (← links)
- Gap theorems for robust satisfiability: Boolean CSPs and beyond (Q527405) (← links)
- Tractable structures for constraint satisfaction with truth tables (Q537902) (← links)
- Quantified constraint satisfaction and the polynomially generated powers property (Q539977) (← links)
- Trichotomies in the complexity of minimal inference (Q692908) (← links)
- Hypertree decompositions and tractable queries (Q696962) (← links)
- Recognizing frozen variables in constraint satisfaction problems (Q706617) (← links)
- Backdoors into heterogeneous classes of SAT and CSP (Q730498) (← links)
- On weak positive predicates over a finite set (Q783121) (← links)
- The expressive rate of constraints (Q812391) (← links)
- Periodic constraint satisfaction problems: Tractable subclasses (Q816674) (← links)
- \(H\)-coloring dichotomy revisited (Q817769) (← links)
- Non-local configuration of component interfaces by constraint satisfaction (Q823765) (← links)
- In praise of homomorphisms (Q826325) (← links)
- Hard constraint satisfaction problems have hard gaps at location 1 (Q837178) (← links)
- The complexity of constraint satisfaction games and QCSP (Q840700) (← links)
- Towards a dichotomy theorem for the counting constraint satisfaction problem (Q879594) (← links)
- Conservative constraint satisfaction re-revisited (Q896026) (← links)
- A new line of attack on the dichotomy conjecture (Q896081) (← links)
- On Boolean primitive positive clones (Q932583) (← links)
- Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms (Q935141) (← links)
- The expressive power of valued constraints: Hierarchies and collapses (Q959827) (← links)
- Approximability of clausal constraints (Q970111) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- Existentially restricted quantified constraint satisfaction (Q1013082) (← links)
- Affine systems of equations and counting infinitary logic (Q1014638) (← links)
- Maximal infinite-valued constraint languages (Q1014639) (← links)
- The complexity of satisfiability problems: Refining Schaefer's theorem (Q1015812) (← links)
- Minimization of locally defined submodular functions by optimal soft arc consistency (Q1020491) (← links)
- Relatively quantified constraint satisfaction (Q1020500) (← links)
- The SAT-UNSAT transition for random constraint satisfaction problems (Q1025462) (← links)
- Homogeneous and strictly homogeneous criteria for partial structures (Q1028463) (← links)
- A combinatorial constraint satisfaction problem dichotomy classification conjecture (Q1041203) (← links)
- Constraints, consistency and closure (Q1274280) (← links)
- Learnability of quantified formulas. (Q1426470) (← links)
- A comparison of structural CSP decomposition methods (Q1589639) (← links)
- Fixed-parameter complexity in AI and nonmonotonic reasoning (Q1603733) (← links)
- An efficient algorithm for a class of constraint satisfaction problems (Q1611994) (← links)
- Binary constraint satisfaction problems defined by excluded topological minors (Q1633806) (← links)
- Tropically convex constraint satisfaction (Q1635805) (← links)
- On the complexity of \(\mathbb{H}\)-coloring for special oriented trees (Q1686250) (← links)
- On tree-preserving constraints (Q1688715) (← links)
- The power of propagation: when GAC is enough (Q1701225) (← links)
- On bijunctive predicates over a finite set (Q1741483) (← links)
- A new tractable class of constraint satisfaction problems (Q1776199) (← links)