Searching for authors named Maria Paola Bonacina – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method
- … Proving: a Modified Clause-Diffusion Method MARIA PAOLA BONACINA † Department of Computer Science…
- Cited by 8 (4 self) – Add To MetaCart
-
Mechanical proofs of the Levi commutator problem
- …Mechanical proofs of the Levi commutator problem Maria Paola Bonacina ? Department of Computer…
- Cited by 3 (1 self) – Add To MetaCart
-
Ten Years of Parallel Theorem Proving: A Perspective
- …Ten years of parallel theorem proving: a perspective Maria Paola Bonacina ? Department of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Representation of Parallel Search in Theorem Proving
- …On the representation of parallel search in theorem proving Maria Paola Bonacina Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Machine-Independent Evaluation of Theorem-Proving Strategies
- …Machine-independent evaluation of theorem-proving strategies (Position paper) Maria Paola Bonacina…
- Cited by 1 (1 self) – Add To MetaCart
-
A Taxonomy of Parallel Strategies for Deduction
- …A taxonomy of parallel strategies for deduction # Maria Paola Bonacina + Department of Computer…
- Cited by 13 (1 self) – Add To MetaCart
-
Experiments With Subdivision of Search in Distributed Theorem Proving
- …Experiments with subdivision of search in distributed theorem proving Maria Paola Bonacina…
- Cited by 6 (2 self) – Add To MetaCart
-
Abstract canonical inference
- …Abstract Canonical Inference MARIA PAOLA BONACINA Dipartimento di Informatica, Università degli…
- Cited by 8 (5 self) – Add To MetaCart
-
Canonical Inference for Implicational Systems ⋆
- …Canonical Inference for Implicational Systems ⋆ Maria Paola Bonacina⋆⋆1 ⋆ ⋆ ⋆2 and Nachum…
- Cited by 1 (1 self) – Add To MetaCart
-
PSATO: a Distributed Propositional Prover and Its Application to Quasigroup Problems
- … Application to Quasigroup Problems HANTAO ZHANG + , MARIA PAOLA BONACINA # AND JIEH HSIANG # Dept…
- Cited by 38 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
