Pages that link to "Item:Q5504702"
From MaRDI portal
The following pages link to A Logical Approach to Constraint Satisfaction (Q5504702):
Displaying 10 items.
- A perspective of constraint-based reasoning. An introductory tutorial (Q396982) (← links)
- The complexity of the list homomorphism problem for graphs (Q693060) (← links)
- Reasoning from last conflict(s) in constraint programming (Q1045989) (← links)
- Semantic Acyclicity on Graph Databases (Q3187172) (← links)
- (Q3481491) (← links)
- (Q4217596) (← links)
- (Q4228441) (← links)
- (Q4353622) (← links)
- Constraint Satisfaction, Logic and Forbidden Patterns (Q5454246) (← links)
- Constraint satisfaction, graph isomorphism, and the pebbling comonad (Q6612794) (← links)