|
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 *SAT on TANCS 2000 Benchmarks. [Citation Graph (0, 0)][DBLP] 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.005secs, Finished in 0.285secs
|