Pages that link to "Item:Q3727417"
From MaRDI portal
The following pages link to Intelligent Backtracking in Plan-Based Deduction (Q3727417):
Displaying 4 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)
