The following pages link to Theorem proving with abstraction (Q1149799):
Displaying 5 items.
- Octopus: combining learning and parallel search (Q861370) (← links)
- On an unsatisfiability-satisfiability prover (Q1264000) (← links)
- Downward refinement and the efficiency of hierarchical problem solving (Q1341665) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Interpreting Abstract Interpretations in Membership Equational Logic (Q2841246) (← links)
