E-LIB Suche - Ergebnisse für: BONACINA, Maria Paola

1

Semantically-Guided Goal-Sensitive Reasoning: Decision Proc..:

Bonacina, Maria Paola ; Winkler, Sarah
Journal of Automated Reasoning. 67 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

2

QSMA: A New Algorithm for Quantified Satisfiability Modulo ..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,

Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Vauthier, Christophe - p. 78-95 , 2023

Link: https://doi.org/10.1007/..

3

Reasoning about Quantifiers in SMT: The QSMA algorithm:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Bonacina, Maria Paola - p. 1-1 , 2023

Link: https://doi.org/10.34727..

4

Six Decades of Automated Reasoning: Papers in Memory of Lar..:

Bonacina, Maria Paola
Journal of Automated Reasoning. 66 (2022) 4 - p. 437-438 , 2022

Link: https://doi.org/10.1007/..

5

Set of Support, Demodulation, Paramodulation: A Historical ..:

Bonacina, Maria Paola
Journal of Automated Reasoning. 66 (2022) 4 - p. 463-497 , 2022

Link: https://doi.org/10.1007/..

6

Larry Wos: Visions of Automated Reasoning:

Beeson, Michael ; Bonacina, Maria Paola ; Kinyon, Michael.
Journal of Automated Reasoning. 66 (2022) 4 - p. 439-461 , 2022

Link: https://doi.org/10.1007/..

7

Conflict-Driven Satisfiability for Theory Combination: Lemm..:

Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Shankar, Natarajan
Journal of Automated Reasoning. 66 (2021) 1 - p. 43-91 , 2021

Link: https://doi.org/10.1007/..

8

SGGS Decision Procedures:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Bonacina, Maria Paola ; Winkler, Sarah - p. 356-374 , 2020

Link: https://doi.org/10.1007/..

9

Conflict-Driven Satisfiability for Theory Combination: Tran..:

Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Shankar, Natarajan
Journal of Automated Reasoning. 64 (2019) 3 - p. 579-609 , 2019

Link: https://doi.org/10.1007/..

10

Theory Combination: Beyond Equality Sharing:

, In: Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That,

Bonacina, Maria Paola ; Fontaine, Pascal ; Ringeissen, Christophe. - p. 57-89 , 2019

Link: https://doi.org/10.1007/..

11

Proofs in conflict-driven theory combination:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Shankar, Natarajan - p. 186-200 , 2018

Link: https://dl.acm.org/doi/1..

12

Semantically-Guided Goal-Sensitive Reasoning: Inference Sys..:

Bonacina, Maria Paola ; Plaisted, David A.
Journal of Automated Reasoning. 59 (2016) 2 - p. 165-218 , 2016

Link: https://doi.org/10.1007/..

13

Semantically-Guided Goal-Sensitive Reasoning: Model Represe..:

Bonacina, Maria Paola ; Plaisted, David A.
Journal of Automated Reasoning. 56 (2015) 2 - p. 113-141 , 2015

Link: https://doi.org/10.1007/..

14

Interpolation Systems for Ground Proofs in Automated Deduct..:

Bonacina, Maria Paola ; Johansson, Moa
Journal of Automated Reasoning. 54 (2015) 4 - p. 353-390 , 2015

Link: https://doi.org/10.1007/..

15

On Interpolation in Automated Theorem Proving:

Bonacina, Maria Paola ; Johansson, Moa
Journal of Automated Reasoning. 54 (2014) 1 - p. 69-97 , 2014

Link: https://doi.org/10.1007/..