Pages that link to "Item:Q4237680"

The following pages link to Pruning the search space and extracting more models in tableaux (Q4237680):

Displaying 3 items.

• Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
• Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
• The model evolution calculus as a first-order DPLL method (Q2389629) (← links)