×

zbMATH — the first resource for mathematics

Bonacina, Maria Paola

Compute Distance To:
Author ID: bonacina.maria-paola Recent zbMATH articles by "Bonacina, Maria Paola"
Published as: Bonacina, Maria Paola; Bonacina, M. P.
External Links: ORCID
Documents Indexed: 43 Publications since 1992, including 3 Books
Reviewing Activity: 18 Reviews

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 180 times in 92 Documents Cited by Year
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
23
2009
PSATO: A distributed propositional prover and its application to quasigroup problems. Zbl 0863.68013
Zhang, Hantao; Bonacina, Maria Paola; Hsiang, Jieh
18
1996
On deciding satisfiability by theorem proving with speculative inferences. Zbl 1243.68265
Bonacina, Maria Paola; Lynch, Christopher A.; de Moura, Leonardo
12
2011
On variable-inactivity and polynomial \(\mathcal T\)-satisfiability procedures. Zbl 1144.03007
Bonacina, Maria Paola; Echenim, Mnacho
11
2008
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures. Zbl 1222.03011
Bonacina, Maria Paola; Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
11
2006
Towards a foundation of completion procedures as semidecision procedures. Zbl 0873.68107
Bonacina, Maria Paola; Hsiang, Jieh
10
1995
Theory decision by decomposition. Zbl 1192.68626
Bonacina, Maria Paola; Echenim, Mnacho
9
2010
Abstract canonical inference. Zbl 1367.03023
Bonacina, Maria Paola; Dershowitz, Nachum
8
2007
Rewrite-based satisfiability procedures for recursive data structures. Zbl 1277.68239
Bonacina, Maria Paola; Echenim, Mnacho
7
2007
A taxonomy of theorem-proving strategies. Zbl 0984.03011
Bonacina, Maria Paola
7
1999
On the modelling of search in theorem proving – towards a theory of strategy analysis. Zbl 0927.68081
Bonacina, Maria Paola; Hsiang, Jieh
6
1998
On a rewriting approach to satisfiability procedures: Extension, combination of theories and an experimental appraisal. Zbl 1171.68507
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
6
2005
On deciding satisfiability by \(\mathrm{DPLL}(\Gamma+{\mathcal T})\) and unsound theorem proving. Zbl 1237.68176
Bonacina, Maria Paola; Lynch, Christopher; de Moura, Leonardo
5
2009
A taxonomy of parallel strategies for deduction. Zbl 1001.68124
Bonacina, Maria Paola
5
2000
On interpolation in decision procedures. Zbl 1331.68198
Bonacina, Maria Paola; Johansson, Moa
5
2011
Semantically-guided goal-sensitive reasoning: model representation. Zbl 1356.68180
Bonacina, Maria Paola; Plaisted, David A.
4
2016
On rewrite programs: Semantics and relationship with PROLOG. Zbl 0754.68024
Bonacina, Maria Paola; Hsiang, Jieh
3
1992
Rewrite-based decision procedures. Zbl 1277.68238
Bonacina, Maria Paola; Echenim, Mnacho
3
2007
On interpolation in automated theorem proving. Zbl 1315.03018
Bonacina, Maria Paola; Johansson, Moa
3
2015
\({\mathcal{T}}\)-decision by decomposition. Zbl 1213.68567
Bonacina, Maria Paola; Echenim, Mnacho
3
2007
Interpolation systems for ground proofs in automated deduction: a survey. Zbl 1356.68179
Bonacina, Maria Paola; Johansson, Moa
3
2015
Automated deduction – CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9–14, 2013. Proceedings. Zbl 1264.68002
Bonacina, Maria Paola (ed.)
2
2013
On fairness in distributed automated deduction. Zbl 0792.68160
Bonacina, Maria Paola; Hsiang, Jieh
2
1993
Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover. Zbl 0836.68105
Bonacina, Maria Paola; Hsiang, Jieh
2
1995
Semantically-guided goal-sensitive reasoning: inference system and completeness. Zbl 1437.68189
Bonacina, Maria Paola; Plaisted, David A.
2
2017
Automated reasoning and mathematics. Essays in memory of William W. McCune. Zbl 1259.68002
Bonacina, Maria Paola (ed.); Stickel, Mark E. (ed.)
1
2013
Canonical ground Horn theories. Zbl 1383.03042
Bonacina, Maria Paola; Dershowitz, Nachum
1
2013
The clause-diffusion methodology for distributed deduction. Zbl 0839.68092
Bonacina, Maria Paola; Hsiang, Jieh
1
1995
On first-order model-based reasoning. Zbl 1322.03013
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
1
2015
Canonical inference for implicational systems. Zbl 1165.03309
Bonacina, Maria Paola; Dershowitz, Nachum
1
2008
On the reconstruction of proofs in distributed theorem proving: A Modified Clause-Diffusion method. Zbl 0864.68092
Bonacina, Maria Paola
1
1996
Theory combination: beyond equality sharing. Zbl 1443.68116
Bonacina, Maria Paola; Fontaine, Pascal; Ringeissen, Christophe; Tinelli, Cesare
1
2019
A model and a first analysis of distributed-search contraction-based strategies. Zbl 0940.68121
Bonacina, Maria Paola
1
1999
Combination of distributed search and multi-search in peers-mcd. d. (system description). Zbl 0988.68611
Bonacina, Maria Paola
1
2001
Towards a unified model of search in theorem-proving: subgoal-reduction strategies. Zbl 1126.68071
Bonacina, Maria Paola
1
2005
Theory combination: beyond equality sharing. Zbl 1443.68116
Bonacina, Maria Paola; Fontaine, Pascal; Ringeissen, Christophe; Tinelli, Cesare
1
2019
Semantically-guided goal-sensitive reasoning: inference system and completeness. Zbl 1437.68189
Bonacina, Maria Paola; Plaisted, David A.
2
2017
Semantically-guided goal-sensitive reasoning: model representation. Zbl 1356.68180
Bonacina, Maria Paola; Plaisted, David A.
4
2016
On interpolation in automated theorem proving. Zbl 1315.03018
Bonacina, Maria Paola; Johansson, Moa
3
2015
Interpolation systems for ground proofs in automated deduction: a survey. Zbl 1356.68179
Bonacina, Maria Paola; Johansson, Moa
3
2015
On first-order model-based reasoning. Zbl 1322.03013
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
1
2015
Automated deduction – CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9–14, 2013. Proceedings. Zbl 1264.68002
Bonacina, Maria Paola
2
2013
Automated reasoning and mathematics. Essays in memory of William W. McCune. Zbl 1259.68002
Bonacina, Maria Paola; Stickel, Mark E.
1
2013
Canonical ground Horn theories. Zbl 1383.03042
Bonacina, Maria Paola; Dershowitz, Nachum
1
2013
On deciding satisfiability by theorem proving with speculative inferences. Zbl 1243.68265
Bonacina, Maria Paola; Lynch, Christopher A.; de Moura, Leonardo
12
2011
On interpolation in decision procedures. Zbl 1331.68198
Bonacina, Maria Paola; Johansson, Moa
5
2011
Theory decision by decomposition. Zbl 1192.68626
Bonacina, Maria Paola; Echenim, Mnacho
9
2010
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
23
2009
On deciding satisfiability by \(\mathrm{DPLL}(\Gamma+{\mathcal T})\) and unsound theorem proving. Zbl 1237.68176
Bonacina, Maria Paola; Lynch, Christopher; de Moura, Leonardo
5
2009
On variable-inactivity and polynomial \(\mathcal T\)-satisfiability procedures. Zbl 1144.03007
Bonacina, Maria Paola; Echenim, Mnacho
11
2008
Canonical inference for implicational systems. Zbl 1165.03309
Bonacina, Maria Paola; Dershowitz, Nachum
1
2008
Abstract canonical inference. Zbl 1367.03023
Bonacina, Maria Paola; Dershowitz, Nachum
8
2007
Rewrite-based satisfiability procedures for recursive data structures. Zbl 1277.68239
Bonacina, Maria Paola; Echenim, Mnacho
7
2007
Rewrite-based decision procedures. Zbl 1277.68238
Bonacina, Maria Paola; Echenim, Mnacho
3
2007
\({\mathcal{T}}\)-decision by decomposition. Zbl 1213.68567
Bonacina, Maria Paola; Echenim, Mnacho
3
2007
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures. Zbl 1222.03011
Bonacina, Maria Paola; Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
11
2006
On a rewriting approach to satisfiability procedures: Extension, combination of theories and an experimental appraisal. Zbl 1171.68507
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
6
2005
Towards a unified model of search in theorem-proving: subgoal-reduction strategies. Zbl 1126.68071
Bonacina, Maria Paola
1
2005
Combination of distributed search and multi-search in peers-mcd. d. (system description). Zbl 0988.68611
Bonacina, Maria Paola
1
2001
A taxonomy of parallel strategies for deduction. Zbl 1001.68124
Bonacina, Maria Paola
5
2000
A taxonomy of theorem-proving strategies. Zbl 0984.03011
Bonacina, Maria Paola
7
1999
A model and a first analysis of distributed-search contraction-based strategies. Zbl 0940.68121
Bonacina, Maria Paola
1
1999
On the modelling of search in theorem proving – towards a theory of strategy analysis. Zbl 0927.68081
Bonacina, Maria Paola; Hsiang, Jieh
6
1998
PSATO: A distributed propositional prover and its application to quasigroup problems. Zbl 0863.68013
Zhang, Hantao; Bonacina, Maria Paola; Hsiang, Jieh
18
1996
On the reconstruction of proofs in distributed theorem proving: A Modified Clause-Diffusion method. Zbl 0864.68092
Bonacina, Maria Paola
1
1996
Towards a foundation of completion procedures as semidecision procedures. Zbl 0873.68107
Bonacina, Maria Paola; Hsiang, Jieh
10
1995
Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover. Zbl 0836.68105
Bonacina, Maria Paola; Hsiang, Jieh
2
1995
The clause-diffusion methodology for distributed deduction. Zbl 0839.68092
Bonacina, Maria Paola; Hsiang, Jieh
1
1995
On fairness in distributed automated deduction. Zbl 0792.68160
Bonacina, Maria Paola; Hsiang, Jieh
2
1993
On rewrite programs: Semantics and relationship with PROLOG. Zbl 0754.68024
Bonacina, Maria Paola; Hsiang, Jieh
3
1992
all top 5

Cited by 150 Authors

18 Bonacina, Maria Paola
9 Ringeissen, Christophe
6 Echenim, Mnacho
5 Nicolini, Enrica
5 Ranise, Silvio
5 Weidenbach, Christoph
4 Rusinowitch, Michaël
3 Chocron, Paula
3 de Moura, Leonardo
3 Dershowitz, Nachum
3 Fontaine, Pascal
3 Hsiang, Jieh
3 Johansson, Moa
3 Lynch, Christopher A.
3 Peltier, Nicolas
3 Sofronie-Stokkermans, Viorica
3 Tran, Duc-Khanh
2 Benzmüller, Christoph Ewald
2 Bruttomesso, Roberto
2 Ghilardi, Silvio
2 Hillenbrand, Thomas
2 Jurkowiak, Bernard
2 Kapur, Deepak
2 Kirchner, Claude
2 Kruglov, Evgeniĭ Valentinovich
2 Plaisted, David Alan
2 Sorge, Volker
2 Utard, Gil
2 Voronkov, Andrei
2 Zhang, Hantao
2 Zucchelli, Daniele
1 Ahmed, Tanbir
1 Aiguier, Marc
1 Althaus, Ernst
1 Anantharaman, Siva
1 Armando, Alessandro
1 Avenhaus, Jürgen
1 Bahrami, Diane
1 Balyo, Tomáš
1 Banbara, Mutsunori
1 Barrett, Clark W.
1 Baumgartner, Peter
1 Blochinger, Wolfgang
1 Böhme, Sascha
1 Brock-Nannestad, Taus
1 Brown, Chad Edward
1 Burel, Guillaume
1 Cérin, Christophe
1 Chaudhuri, Kaustuv
1 Chen, Shuwei
1 Cheng, Xi
1 Christ, Jürgen
1 Cimatti, Alessandro
1 Dequen, Gilles
1 Eggers, Andreas
1 Fietzke, Arnaud
1 Franzén, Anders
1 Furbach, Ulrich
1 Ganzinger, Harald
1 Gebser, Martin
1 Gherardi, Guido
1 Graham-Lengrand, Stéphane
1 Griggio, Alberto
1 He, Xingxing
1 Hoenicke, Jochen
1 Huang, Chengchao
1 Hyvärinen, Antti E. J.
1 Inoue, Katsumi
1 Jamnik, Mateja
1 Jouannaud, Jean-Pierre
1 Kalinnik, Natalia
1 Kaufmann, Benjamin
1 Kerber, Manfred
1 Kinyon, Michael K.
1 Kirchner, Hélène
1 Krajecki, Michaël
1 Küchlin, Wolfgang W.
1 Kullmann, Oliver
1 Kupferschmid, Stefan
1 Kuznets, Roman
1 Li, Zhibin
1 Liu, Jiaxiang
1 Liu, Jun
1 Löchner, Bernd
1 Lonsing, Florian
1 Lynce, Inês
1 Maffezioli, Paolo
1 Manquinho, Vasco M.
1 Marescotti, Matteo
1 Martins, Ruben
1 McGregor, Ralph Eric
1 Meier, Andreas
1 Meseguer Guaita, José
1 Moskal, Michał
1 Muñoz, César A.
1 Newborn, Monty
1 Ngoko, Yanik
1 Nieuwenhuis, Robert
1 Orlandelli, Eugenio
1 Pąk, Karol
...and 50 more Authors

Citations by Year