Pages that link to "Item:Q1124348"
From MaRDI portal
The following pages link to An optimal k-consistency algorithm (Q1124348):
Displaying 30 items.
- Representing and solving finite-domain constraint problems using systems of polynomials (Q360253) (← links)
- Constraint satisfaction -- algorithms and complexity analysis (Q672029) (← links)
- A polynomial relational class of binary CSP (Q722101) (← links)
- Cyclic consistency: A local reduction operation for binary valued constraints (Q814586) (← links)
- High-order consistency in valued constraint satisfaction (Q816687) (← links)
- Decision-support with preference constraints (Q857275) (← links)
- Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms (Q935141) (← links)
- Revisiting global constraint satisfaction (Q1129109) (← links)
- From local to global consistency (Q1193482) (← links)
- Constraints, consistency and closure (Q1274280) (← links)
- Characterising tractable constraints (Q1321064) (← links)
- Model-based inference in CHARME. (Q1342427) (← links)
- From local to global consistency in temporal constraint networks (Q1391930) (← links)
- Local and global relational consistency (Q1391940) (← links)
- Fundamental properties of neighbourhood substitution in constraint satisfaction problems (Q1402745) (← links)
- Constraint propagation techniques for the disjunctive scheduling problem (Q1583518) (← links)
- Backjump-based backtracking for constraint satisfaction problems (Q1605408) (← links)
- Binary constraint satisfaction problems defined by excluded topological minors (Q1633806) (← links)
- A multiagent evolutionary algorithm with direct and indirect combined representation for constraint satisfaction problems (Q1701558) (← links)
- Reduction operations in fuzzy or valued constraint satisfaction (Q1873182) (← links)
- Mixed logical-linear programming (Q1961464) (← links)
- Tractable combinations of theories via sampling (Q2055788) (← links)
- Argumentation frameworks as constraint satisfaction problems (Q2248522) (← links)
- Theoretical analysis of singleton arc consistency and its extensions (Q2389615) (← links)
- Combinatorial problems raised from 2-semilattices (Q2496183) (← links)
- On m-Junctive Predicates on a Finite Set (Q4973259) (← links)
- A Logical Approach to Constraint Satisfaction (Q5504702) (← links)
- (Q5743434) (← links)
- Multi-agent oriented constraint satisfaction (Q5958494) (← links)
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (Q5958761) (← links)
