The following pages link to (Q4246963):
Displaying 4 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)
- A model and a first analysis of distributed-search contraction-based strategies (Q1978033) (← links)