Pages that link to "Item:Q1262770"
From MaRDI portal
The following pages link to Intractable unifiability problems and backtracking (Q1262770):
Displaying 4 items.
- Maximal unifiable subsets and minimal non-unifiable subsets (Q1075061) (← links)
- Intelligent backtracking in deduction systems by means of extended unification graphs (Q1101246) (← links)
- Forward checking and intelligent backtracking (Q1263983) (← links)
- Recursive unsolvability of a problem of expressibility in the logic of provability (Q2914598) (← links)