Pages that link to "Item:Q1978033"
From MaRDI portal
The following pages link to A model and a first analysis of distributed-search contraction-based strategies (Q1978033):
Displaying 6 items.
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Nagging: A distributed, adversarial search-pruning technique applied to first-order inference (Q1373304) (← links)
- A taxonomy of parallel strategies for deduction (Q1601867) (← links)
- On the reconstruction of proofs in distributed theorem proving: A Modified Clause-Diffusion method (Q2365125) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- (Q4246963) (← links)