A model and a first analysis of distributed-search contraction-based strategies

DOI10.1023/A:1018919214722zbMath0940.68121OpenAlexW2138980079MaRDI QIDQ1978033

Maria Paola Bonacina

Publication date: 7 June 2000

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018919214722

zbMATH Keywords

theorem-proving strategies

Mathematics Subject Classification ID

Related Items (1)

Towards a unified model of search in theorem-proving: subgoal-reduction strategies

Uses Software

• Unnamed Item

This page was built for publication: A model and a first analysis of distributed-search contraction-based strategies