I agree that this site is using cookies. You can find further informations here.
X
BONACINA, Maria Paola
82  results:
Articles (Online) X
Search for persons X
?
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

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/..
 
?
3

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/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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/..
 
?
8

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/..
 
?
9

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/..
 
?
10

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/..
 
?
11

Theory decision by decomposition:

Bonacina, Maria Paola ; Echenim, Mnacho
Journal of Symbolic Computation.  45 (2010)  2 - p. 229-260 , 2010
Link: https://doi.org/10.1016/..
 
?
12

On Deciding Satisfiability by Theorem Proving with Speculat..:

Bonacina, Maria Paola ; Lynch, Christopher A. ; de Moura, Leonardo
Journal of Automated Reasoning.  47 (2010)  2 - p. 161-189 , 2010
Link: https://doi.org/10.1007/..
 
?
13

New results on rewrite-based satisfiability procedures:

Armando, Alessandro ; Bonacina, Maria Paola ; Ranise, Silvio.
ACM Transactions on Computational Logic (TOCL).  10 (2009)  1 - p. 1-51 , 2009
Link: https://dl.acm.org/doi/1..
 
?
14

New results on rewrite-based satisfiability procedures:

Armando, Alessandro ; Bonacina, Maria Paola ; Ranise, Silvio.
ACM Transactions on Computational Logic.  10 (2009)  1 - p. 1-51 , 2009
Link: https://doi.org/10.1145/..
 
?
15

Abstract canonical inference:

Bonacina, Maria Paola ; Dershowitz, Nachum
ACM Transactions on Computational Logic.  8 (2007)  1 - p. 6 , 2007
Link: https://doi.org/10.1145/..
 
1-15