Pages that link to "Item:Q1380423"
From MaRDI portal
The following pages link to Intelligent backtracking in \(\text{CLP}(\Re)\) (Q1380423):
Displaying 6 items.
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Forward checking and intelligent backtracking (Q1263983) (← links)
- On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning (Q1274559) (← links)
- Efficient intelligent backtracking using linear programming (Q2884543) (← links)
- Intelligent Backtracking in Plan-Based Deduction (Q3727417) (← links)
- (Q3741017) (← links)