×

zbMATH — the first resource for mathematics

Giunchiglia, Enrico

Compute Distance To:
Author ID: giunchiglia.enrico Recent zbMATH articles by "Giunchiglia, Enrico"
Published as: Giunchiglia, Enrico; Giunchiglia, E.
Documents Indexed: 51 Publications since 1993, including 2 Books

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 411 times in 314 Documents Cited by Year
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
82
2002
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
59
2004
Answer set programming based on propositional satisfiability. Zbl 1107.68029
Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
34
2006
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. Zbl 1183.68475
Giunchiglia, E.; Narizzano, M.; Tacchella, A.
24
2006
Solving satisfiability problems with preferences. Zbl 1208.68199
Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
17
2010
SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
16
2005
Benefits of bounded model checking at an industrial setting. Zbl 0991.68637
Copty, Fady; Fix, Limor; Fraer, Ranan; Giunchiglia, Enrico; Kamhi, Gila
15
2001
Representing action: indeterminacy and ramifications. Zbl 0894.68140
Giunchiglia, Enrico; Kartha, G. Neelakantan; Lifschitz, Vladimir
14
1997
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Zbl 1082.68799
Castellini, Claudio; Giunchiglia, Enrico; Tacchella, Armando
14
2003
Backjumping for quantified Boolean logic satisfiability. Zbl 1082.68795
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
12
2003
On the relation among answer set solvers. Zbl 1165.68333
Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco
10
2008
QUBE: A system for deciding quantified Boolean formulas satisfiability. Zbl 0988.68598
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
10
2001
Planning as quantified Boolean formula. Zbl 1327.68211
Cashmore, Michael; Fox, Maria; Giunchiglia, Enrico
10
2012
sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning. Zbl 1306.68157
Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo
9
2010
A SAT-based decision procedure for the Boolean combination of difference constraints. Zbl 1122.68583
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
8
2005
QuBE++: An efficient QBF solver. Zbl 1117.68488
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
6
2004
SAT-based decision procedures for classical modal logics. Zbl 1003.03011
Giunchiglia, Enrico; Tacchella, Armando; Giunchiglia, Fausto
6
2002
Embedding complex decision procedures inside an interactive theorem prover. Zbl 1034.68541
Armando, Alessandro; Giunchiglia, Enrico
5
1993
Applying the Davis-Putnam procedure to non-clausal formulas. Zbl 0961.03014
Giunchiglia, Enrico; Sebastiani, Roberto
5
2000
On the relation between answer set and SAT procedures (or, between CMODELS and SMODELS). Zbl 1165.68488
Giunchiglia, Enrico; Maratea, Marco
5
2005
Evaluating search heuristics and optimization techniques in propositional satisfiability. Zbl 0988.68608
Giunchiglia, Enrico; Maratea, Massimo; Tacchella, Armando; Zambonin, Davide
5
2001
Watched data structures for QBF solvers. Zbl 1204.68195
Gent, Ian; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew; Tacchella, Armando
4
2004
Dependent and independent variables in propositional satisfiability. Zbl 1014.68528
Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
4
2002
OptSAT: A tool for solving SAT related optimization problems. Zbl 1152.68553
Giunchiglia, Enrico; Maratea, Marco
4
2006
Combining approaches for solving satisfiability problems with qualitative preferences. Zbl 1296.68164
Di Rosa, Emanuele; Giunchiglia, Enrico
3
2013
Integrating BDD-based and SAT-based symbolic model checking. Zbl 1057.68623
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
3
2002
SAT vs. translation based decision procedures for modal logics: A comparative evaluation. Zbl 1033.03500
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando
3
2000
A subset-matching size-bounded cache for satisfiability in modal logics. Zbl 0963.68178
Giunchiglia, Enrico; Tacchella, Armando
3
2000
TSAT++: an open platform for satisfiability modulo theories. Zbl 1272.68369
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
2
2005
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows. Zbl 1373.68380
Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
2
2016
Introducing preferences in planning as satisfiability. Zbl 1216.68245
Giunchiglia, Enrico; Maratea, Marco
2
2011
An analysis of backjumping and trivial truth in quantified Boolean formulas satisfiability. Zbl 1007.68577
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
2
2001
QBF reasoning on real-world instances. Zbl 1122.68596
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
2
2005
Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Zbl 1030.00034
Giunchiglia, Enrico (ed.); Tacchella, Armando (ed.)
2
2004
Formal specification of beliefs in multi-agent systems. Zbl 0937.68113
Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo
1
1999
A multicontext architecture for formalizing complex reasoning. Zbl 0826.68111
Giunchiglia, Enrico; Traverso, Paolo
1
1995
Evaluating search strategies and heuristics for efficient answer set programming. Zbl 1155.68509
Giunchiglia, Enrico; Maratea, Marco
1
2005
The SAT-based approach to separation logic. Zbl 1109.68108
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
1
2005
SAT-based decision procedures for classical modal logics. Zbl 0980.03010
Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
1
2000
Algorithms for solving satisfiability problems with qualitative preferences. Zbl 1357.68206
Giunchiglia, Enrico; Maratea, Marco
1
2012
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. Zbl 1238.68157
Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
1
2012
Ideal and real belief about belief. Zbl 1004.03011
Giunchiglia, Enrico; Giunchiglia, Fausto
1
2001
System description: *SAT. A platform for the development of modal decision procedures. Zbl 0963.68538
Giunchiglia, Enrico; Tacchella, Armando
1
2000
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows. Zbl 1373.68380
Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
2
2016
Combining approaches for solving satisfiability problems with qualitative preferences. Zbl 1296.68164
Di Rosa, Emanuele; Giunchiglia, Enrico
3
2013
Planning as quantified Boolean formula. Zbl 1327.68211
Cashmore, Michael; Fox, Maria; Giunchiglia, Enrico
10
2012
Algorithms for solving satisfiability problems with qualitative preferences. Zbl 1357.68206
Giunchiglia, Enrico; Maratea, Marco
1
2012
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. Zbl 1238.68157
Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
1
2012
Introducing preferences in planning as satisfiability. Zbl 1216.68245
Giunchiglia, Enrico; Maratea, Marco
2
2011
Solving satisfiability problems with preferences. Zbl 1208.68199
Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
17
2010
sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning. Zbl 1306.68157
Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo
9
2010
On the relation among answer set solvers. Zbl 1165.68333
Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco
10
2008
Answer set programming based on propositional satisfiability. Zbl 1107.68029
Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
34
2006
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. Zbl 1183.68475
Giunchiglia, E.; Narizzano, M.; Tacchella, A.
24
2006
OptSAT: A tool for solving SAT related optimization problems. Zbl 1152.68553
Giunchiglia, Enrico; Maratea, Marco
4
2006
SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
16
2005
A SAT-based decision procedure for the Boolean combination of difference constraints. Zbl 1122.68583
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
8
2005
On the relation between answer set and SAT procedures (or, between CMODELS and SMODELS). Zbl 1165.68488
Giunchiglia, Enrico; Maratea, Marco
5
2005
TSAT++: an open platform for satisfiability modulo theories. Zbl 1272.68369
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
2
2005
QBF reasoning on real-world instances. Zbl 1122.68596
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
2
2005
Evaluating search strategies and heuristics for efficient answer set programming. Zbl 1155.68509
Giunchiglia, Enrico; Maratea, Marco
1
2005
The SAT-based approach to separation logic. Zbl 1109.68108
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
1
2005
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
59
2004
QuBE++: An efficient QBF solver. Zbl 1117.68488
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
6
2004
Watched data structures for QBF solvers. Zbl 1204.68195
Gent, Ian; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew; Tacchella, Armando
4
2004
Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Zbl 1030.00034
Giunchiglia, Enrico; Tacchella, Armando
2
2004
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Zbl 1082.68799
Castellini, Claudio; Giunchiglia, Enrico; Tacchella, Armando
14
2003
Backjumping for quantified Boolean logic satisfiability. Zbl 1082.68795
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
12
2003
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
82
2002
SAT-based decision procedures for classical modal logics. Zbl 1003.03011
Giunchiglia, Enrico; Tacchella, Armando; Giunchiglia, Fausto
6
2002
Dependent and independent variables in propositional satisfiability. Zbl 1014.68528
Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
4
2002
Integrating BDD-based and SAT-based symbolic model checking. Zbl 1057.68623
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
3
2002
Benefits of bounded model checking at an industrial setting. Zbl 0991.68637
Copty, Fady; Fix, Limor; Fraer, Ranan; Giunchiglia, Enrico; Kamhi, Gila
15
2001
QUBE: A system for deciding quantified Boolean formulas satisfiability. Zbl 0988.68598
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
10
2001
Evaluating search heuristics and optimization techniques in propositional satisfiability. Zbl 0988.68608
Giunchiglia, Enrico; Maratea, Massimo; Tacchella, Armando; Zambonin, Davide
5
2001
An analysis of backjumping and trivial truth in quantified Boolean formulas satisfiability. Zbl 1007.68577
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
2
2001
Ideal and real belief about belief. Zbl 1004.03011
Giunchiglia, Enrico; Giunchiglia, Fausto
1
2001
Applying the Davis-Putnam procedure to non-clausal formulas. Zbl 0961.03014
Giunchiglia, Enrico; Sebastiani, Roberto
5
2000
SAT vs. translation based decision procedures for modal logics: A comparative evaluation. Zbl 1033.03500
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando
3
2000
A subset-matching size-bounded cache for satisfiability in modal logics. Zbl 0963.68178
Giunchiglia, Enrico; Tacchella, Armando
3
2000
SAT-based decision procedures for classical modal logics. Zbl 0980.03010
Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
1
2000
System description: *SAT. A platform for the development of modal decision procedures. Zbl 0963.68538
Giunchiglia, Enrico; Tacchella, Armando
1
2000
Formal specification of beliefs in multi-agent systems. Zbl 0937.68113
Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo
1
1999
Representing action: indeterminacy and ramifications. Zbl 0894.68140
Giunchiglia, Enrico; Kartha, G. Neelakantan; Lifschitz, Vladimir
14
1997
A multicontext architecture for formalizing complex reasoning. Zbl 0826.68111
Giunchiglia, Enrico; Traverso, Paolo
1
1995
Embedding complex decision procedures inside an interactive theorem prover. Zbl 1034.68541
Armando, Alessandro; Giunchiglia, Enrico
5
1993
all top 5

Cited by 578 Authors

14 Maratea, Marco
11 Giunchiglia, Enrico
11 Marques-Silva, João P.
9 Lee, Joohyung
9 Lonsing, Florian
8 Lierler, Yuliya
8 Vardi, Moshe Y.
7 Biere, Armin
7 Cimatti, Alessandro
7 Eiter, Thomas
7 Gebser, Martin
6 Alviano, Mario
6 Dodaro, Carmine
6 Schaub, Torsten H.
6 Seidl, Martina
5 Beyersdorff, Olaf
5 Egly, Uwe
5 Erdem, Esra
5 Janota, Mikoláš
5 Sebastiani, Roberto
5 Szeider, Stefan
5 Tacchella, Armando
5 Thielscher, Michael
4 Baral, Chitta R.
4 Blinkhorn, Joshua
4 Cook, Byron
4 Fink, Michael
4 Gheorghe, Marian
4 Järvisalo, Matti
4 Jiang, Jie-Hong Roland
4 Junttila, Tommi A.
4 Konur, Savas
4 Mencía, Carlos
4 Previti, Alessandro
4 Pulina, Luca
4 Roveri, Marco
4 Son, Tran Cao
4 Woltran, Stefan
3 Armando, Alessandro
3 Artikis, Alexander
3 Balabanov, Valeriy
3 Chen, Xiaoping
3 Dovier, Agostino
3 Faber, Wolfgang
3 Formisano, Andrea
3 Gelfond, Michael
3 Giunchiglia, Fausto
3 Hinde, Luke
3 Ipate, Florentin
3 Kaminski, Roland
3 Kaufmann, Benjamin
3 Kröning, Daniel
3 Leone, Nicola
3 Lifschitz, Vladimir
3 Pontelli, Enrico
3 Sergot, Marek J.
3 Slivovsky, Friedrich
3 Traverso, Paolo
3 Truszczyński, Mirosław
3 Tu, Phan Huy
3 Wintersteiger, Christoph M.
3 Yang, Fangkai
2 Amir, Eyal
2 Argelich, Josep
2 Barrett, Clark W.
2 Becker, Bernd
2 Bertoli, Piergiorgio
2 Bochman, Alexander
2 Bonacina, Maria Paola
2 Bozzano, Marco
2 Brim, Luboš
2 Bruttomesso, Roberto
2 Cadoli, Marco
2 Calimeri, Francesco
2 Castellini, Claudio
2 Ceterchi, Rodica
2 Clarke, Edmund Melson jun.
2 Craven, Robert P. M.
2 De Giacomo, Giuseppe
2 de Moura, Leonardo
2 Denecker, Marc
2 Dimopoulos, Yannis
2 Dixon, Clare
2 Duan, Zhenhua
2 Echenim, Mnacho
2 Ehlers, Rüdiger
2 Fichte, Johannes Klaus
2 Gerevini, Alfonso Emilio
2 Ghidini, Chiara
2 Giordano, Laura
2 Heule, Marijn J. H.
2 Ho, Hsi-Ming
2 Hustadt, Ullrich
2 Ji, Jianmin
2 Kavraki, Lydia E.
2 Kontchakov, Roman
2 Lang, Jérôme
2 Lefticaru, Raluca
2 Li, Jianwen
2 Liffiton, Mark H.
...and 478 more Authors

Citations by Year