Pages that link to "Item:Q1103421"
From MaRDI portal
The following pages link to Constraint satisfaction from a deductive viewpoint (Q1103421):
Displaying 14 items.
- A logical framework for depiction and image interpretation (Q582146) (← links)
- Constraint satisfaction -- algorithms and complexity analysis (Q672029) (← links)
- Hypertree decompositions and tractable queries (Q696962) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- Revisiting global constraint satisfaction (Q1129109) (← links)
- The logic of constraint satisfaction (Q1204865) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Decomposing constraint satisfaction problems using database techniques (Q1321054) (← links)
- Automated reasoning and exhaustive search: Quasigroup existence problems (Q1343395) (← links)
- Constraint propagation techniques for the disjunctive scheduling problem (Q1583518) (← links)
- A comparison of structural CSP decomposition methods (Q1589639) (← links)
- Conjunctive-query containment and constraint satisfaction (Q1591157) (← links)
- Fixed-parameter complexity in AI and nonmonotonic reasoning (Q1603733) (← links)
- On the parallel complexity of discrete relaxation in constraint satisfaction networks (Q2638780) (← links)
