This paper presents a taxonomy of parallel theorem-proving strategies and new notions of parallel search plans. A motivation for this undertaking is that parallelism affects the control of deduction. Additional motivations come from strategy analysis and engineering of theorem provers.

Ten years of parallel theorem proving: a perspective

BONACINA, Maria Paola
1999-01-01

Abstract

This paper presents a taxonomy of parallel theorem-proving strategies and new notions of parallel search plans. A motivation for this undertaking is that parallelism affects the control of deduction. Additional motivations come from strategy analysis and engineering of theorem provers.
1999
Theorem proving, parallelism, search plans
File in questo prodotto:
File Dimensione Formato  
STRAT-FLOC1999parataxonomy.pdf

accesso aperto

Descrizione: Articolo principale
Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 136.28 kB
Formato Adobe PDF
136.28 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/16045
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact