Pages that link to "Item:Q3727417"
From MaRDI portal
The following pages link to Intelligent Backtracking in Plan-Based Deduction (Q3727417):
Displaying 8 items.
- Parsing as non-Horn deduction (Q688151) (← links)
- A new combination of input and unit deductions for Horn sentences (Q1057665) (← links)
- An execution model for exploiting AND-parallelism in logic programs (Q1098621) (← links)
- Network-based heuristics for constraint-satisfaction problems (Q1102137) (← links)
- Intelligent backtracking in \(\text{CLP}(\Re)\) (Q1380423) (← links)
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- Dynamic backward reasoning systems (Q2638814) (← links)
- (Q3741017) (← links)