The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Armando Tacchella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Learning for Quantified Boolean Logic Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:649-654 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Monotone Literals and Learning in QBF Reasoning. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:260-273 [Conf]
  12. 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]
  13. Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    *SAT, KSATC, DLP and TA: a comparative analysis. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  14. Armando Tacchella
    *SAT System Description. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  15. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    QuBE++: An Efficient QBF Solver. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:201-213 [Conf]
  16. 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]
  17. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Backjumping for Quantified Boolean Logic Satisfiability. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:275-281 [Conf]
  18. Enrico Giunchiglia, Marco Maratea, Armando Tacchella
    Dependent and Independent Variables in Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:296-307 [Conf]
  19. Massimo Narizzano, Luca Pulina, Armando Tacchella
    The QBFEVAL Web Portal. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:494-497 [Conf]
  20. 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]
  21. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    QBF Reasoning on Real-World Instances. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Armando Tacchella
    Evaluating *SAT on TANCS 2000 Benchmarks. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:77-81 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. Luca Pulina, Armando Tacchella
    A Multi-engine Solver for Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:574-589 [Conf]
  35. 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]

  36. Collaborative Expert Portfolio Management. [Citation Graph (, )][DBLP]


  37. Hard QBF Encodings Made Easy: Dream or Reality? [Citation Graph (, )][DBLP]


  38. An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. [Citation Graph (, )][DBLP]


  39. Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. [Citation Graph (, )][DBLP]


  40. Safe and effective learning: A case study. [Citation Graph (, )][DBLP]


  41. An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. [Citation Graph (, )][DBLP]


  42. A Structural Approach to Reasoning with Quantified Boolean Formulas. [Citation Graph (, )][DBLP]


  43. Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. [Citation Graph (, )][DBLP]


  44. QuBIS: An (In)complete Solver for Quantified Boolean Formulas. [Citation Graph (, )][DBLP]


  45. The Seventh QBF Solvers Evaluation (QBFEVAL'10). [Citation Graph (, )][DBLP]


  46. Evaluating and certifying QBFs: A comparison of state-of-the-art tools. [Citation Graph (, )][DBLP]


  47. A self-adaptive multi-engine solver for quantified Boolean formulas. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.285secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002