Pages that link to "Item:Q2848128"
From MaRDI portal
The following pages link to Toward the concept of backtracking computation (Q2848128):
Displaying 8 items.
- Backtracking-assisted multiplication (Q680916) (← links)
- An exercise in transformational programming: Backtracking and Branch-and- Bound (Q808723) (← links)
- Computational complexity of terminological reasoning in BACK (Q1104128) (← links)
- Forward checking and intelligent backtracking (Q1263983) (← links)
- Backing backtracking (Q2181937) (← links)
- Finding recurrent sets with backward analysis and trace partitioning (Q2272913) (← links)
- (Q4790466) (← links)
- A Theory for Backtrack-Downweighted Walks (Q5006453) (← links)