Pages that link to "Item:Q1404980"

The following pages link to Depth-first proof search without backtracking for free-variable clausal tableaux (Q1404980):

Displaying 3 items.

• The disconnection tableau calculus (Q877889) (← links)
• The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
• Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)