Pages that link to "Item:Q4237680"
From MaRDI portal
The following pages link to Pruning the search space and extracting more models in tableaux (Q4237680):
Displaying 7 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)
- SHR tableaux -- a framework for automated model generation (Q2720403) (← links)
- (Q4014783) (← links)
- (Q4524785) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)