The SCEAS System
| |||||||

## Search the dblp DataBase
Armando Tacchella:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**Learning for Quantified Boolean Logic Satisfiability.**[Citation Graph (0, 0)][DBLP] AAAI/IAAI, 2002, pp:649-654 [Conf] - Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
**The SAT-Based Approach for Classical Modal Logics.**[Citation Graph (0, 0)][DBLP] AI*IA, 1999, pp:95-106 [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.**[Citation Graph (0, 0)][DBLP] AI*IA, 2001, pp:111-122 [Conf] - Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
**SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.**[Citation Graph (0, 0)][DBLP] Mechanizing Mathematical Reasoning, 2005, pp:46-58 [Conf] - Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin
**Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.**[Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:347-363 [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.**[Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:364-369 [Conf] - Enrico Giunchiglia, Armando Tacchella
**System Description: *SAT: A Platform for the Development of Modal Decision Procedures.**[Citation Graph (0, 0)][DBLP] CADE, 2000, pp:291-296 [Conf] - Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
**NuSMV 2: An OpenSource Tool for Symbolic Model Checking.**[Citation Graph (0, 0)][DBLP] CAV, 2002, pp:359-364 [Conf] - Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
**Benefits of Bounded Model Checking at an Industrial Setting.**[Citation Graph (0, 0)][DBLP] CAV, 2001, pp:436-453 [Conf] - Enrico Giunchiglia, Marco Maratea, Armando Tacchella
**(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.**[Citation Graph (0, 0)][DBLP] CP, 2003, pp:842-846 [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**Monotone Literals and Learning in QBF Reasoning.**[Citation Graph (0, 0)][DBLP] CP, 2004, pp:260-273 [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**Quantifier structure in search based procedures for QBFs.**[Citation Graph (0, 0)][DBLP] DATE, 2006, pp:812-817 [Conf] - Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
***SAT, KSATC, DLP and TA: a comparative analysis.**[Citation Graph (0, 0)][DBLP] Description Logics, 1999, pp:- [Conf] - Armando Tacchella
***SAT System Description.**[Citation Graph (0, 0)][DBLP] Description Logics, 1999, pp:- [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**QuBE++: An Efficient QBF Solver.**[Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:201-213 [Conf] - Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
**Integrating BDD-Based and SAT-Based Symbolic Model Checking.**[Citation Graph (0, 0)][DBLP] FroCos, 2002, pp:49-56 [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**Backjumping for Quantified Boolean Logic Satisfiability.**[Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:275-281 [Conf] - Enrico Giunchiglia, Marco Maratea, Armando Tacchella
**Dependent and Independent Variables in Propositional Satisfiability.**[Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:296-307 [Conf] - Massimo Narizzano, Luca Pulina, Armando Tacchella
**The QBFEVAL Web Portal.**[Citation Graph (0, 0)][DBLP] JELIA, 2006, pp:494-497 [Conf] - Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
**More Evaluation of Decision Procedures for Modal Logics.**[Citation Graph (0, 0)][DBLP] KR, 1998, pp:626-635 [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**QBF Reasoning on Real-World Instances.**[Citation Graph (0, 0)][DBLP] SAT, 2004, pp:- [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**QBF Reasoning on Real-World Instances.**[Citation Graph (0, 0)][DBLP] SAT (Selected Papers, 2004, pp:105-121 [Conf] - Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella
**The Second QBF Solvers Comparative Evaluation.**[Citation Graph (0, 0)][DBLP] SAT (Selected Papers, 2004, pp:376-392 [Conf] - Daniel Le Berre, Laurent Simon, Armando Tacchella
**Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.**[Citation Graph (0, 0)][DBLP] SAT, 2003, pp:468-485 [Conf] - Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
**Watched Data Structures for QBF Solvers.**[Citation Graph (0, 0)][DBLP] SAT, 2003, pp:25-36 [Conf] - Enrico Giunchiglia, Armando Tacchella
**A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2000, pp:237-251 [Conf] - Armando Tacchella
**Evaluating**[Citation Graph (0, 0)][DBLP]^{*}SAT on TANCS 2000 Benchmarks. TABLEAUX, 2000, pp:77-81 [Conf] - Claudio Castellini, Enrico Giunchiglia, Armando Tacchella
**SAT-based planning in complex domains: Concurrency, constraints and nondeterminism.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 2003, v:147, n:1-2, pp:85-117 [Journal] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**Backjumping for Quantified Boolean Logic satisfiability.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 2003, v:145, n:1-2, pp:99-120 [Journal] - Enrico Giunchiglia, Armando Tacchella
**A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2001, v:33, n:1, pp:39-67 [Journal] - Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
**SAT vs. translation based decision procedures for modal logics: a comparative evaluation.**[Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2000, v:10, n:2, pp:- [Journal] - Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia
**SAT-Based Decision Procedures for Classical Modal Logics.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:28, n:2, pp:143-171 [Journal] - Massimo Narizzano, Luca Pulina, Armando Tacchella
**Ranking and Reputation Systems in the QBF Competition.**[Citation Graph (0, 0)][DBLP] AI*IA, 2007, pp:97-108 [Conf] - Luca Pulina, Armando Tacchella
**A Multi-engine Solver for Quantified Boolean Formulas.**[Citation Graph (0, 0)][DBLP] CP, 2007, pp:574-589 [Conf] - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
**Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.**[Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:371-416 [Journal] **Collaborative Expert Portfolio Management.**[Citation Graph (, )][DBLP]**Hard QBF Encodings Made Easy: Dream or Reality?**[Citation Graph (, )][DBLP]**An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.**[Citation Graph (, )][DBLP]**Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.**[Citation Graph (, )][DBLP]**Safe and effective learning: A case study.**[Citation Graph (, )][DBLP]**An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles.**[Citation Graph (, )][DBLP]**A Structural Approach to Reasoning with Quantified Boolean Formulas.**[Citation Graph (, )][DBLP]**Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings.**[Citation Graph (, )][DBLP]**QuBIS: An (In)complete Solver for Quantified Boolean Formulas.**[Citation Graph (, )][DBLP]**The Seventh QBF Solvers Evaluation (QBFEVAL'10).**[Citation Graph (, )][DBLP]**Evaluating and certifying QBFs: A comparison of state-of-the-art tools.**[Citation Graph (, )][DBLP]**A self-adaptive multi-engine solver for quantified Boolean formulas.**[Citation Graph (, )][DBLP]
Search in 0.022secs, Finished in 0.025secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |