The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Armando Tacchella" ( http://dblp.L3S.de/Authors/Armando_Tacchella )

URL (Homepage):  http://www.dibris.unige.it/tacchella-armando  Author page on DBLP  Author page in RDF  Community of Armando Tacchella in ASPL-2

Publication years (Num. hits)
1998-2001 (15) 2002-2004 (16) 2005-2009 (19) 2010-2013 (19) 2014-2016 (21) 2017-2018 (17) 2019 (7)
Publication types (Num. hits)
article(31) incollection(1) inproceedings(81) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 115 publication records. Showing 114 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Search on Bibsonomy Information Systems Frontiers The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giuseppina Murino, Alessandro Armando, Armando Tacchella Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures. Search on Bibsonomy CyCon The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arthur Bit-Monnot, Luca Pulina, Armando Tacchella Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella Repairing Learned Controllers with Convex Optimization: A Case Study. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella SMT-based Planning for Robots in Smart Factories. Search on Bibsonomy IEA/AIE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella Poster: Automatic Consistency Checking of Requirements with ReqV. Search on Bibsonomy ICST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella Automata based test generation with SpecPro. Search on Bibsonomy RET@ICSE The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella Automated Verification of Neural Networks: Advances, Challenges and Perspectives. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella SMarTplan: a Task Planner for Smart Factories. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shashank Pathak, Luca Pulina, Armando Tacchella Verification and repair of control policies for safe reinforcement learning. Search on Bibsonomy Appl. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppina Murino, Armando Tacchella Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems. Search on Bibsonomy ECMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Erika Ábrahám, Armando Tacchella Task Planning with OMT: An Application to Production Logistics. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marco Menapace, Armando Tacchella Ontologies in System Engineering: a Field Report. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella Learning middleware models for verification of distributed control programs. Search on Bibsonomy Robotics and Autonomous Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. Search on Bibsonomy IRI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella More Adaptive Does not Imply Less Safe (with Formal Verification). Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leopoldo Annunziata, Marco Menapace, Armando Tacchella Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems. Search on Bibsonomy ECMS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Menapace, Armando Tacchella Ontologies in System Engineering: A Field Report. Search on Bibsonomy IEA/AIE (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shashank Pathak, Luca Pulina, Armando Tacchella Evaluating probabilistic model checking tools for verification of robot control policies. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen 0001 Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. Search on Bibsonomy ECMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Luca Pulina, Armando Tacchella Learning with Safety Requirements: State of the Art and Open Questions. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. Search on Bibsonomy AIRO@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Leofante, Armando Tacchella Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ali Khalili, Massimo Narizzano, Armando Tacchella Learning for Verification in Embedded Systems: A Case Study. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Oreggia, Carlo Chiorri, Francesca Pozzi, Armando Tacchella Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics. Search on Bibsonomy ICALT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shashank Pathak, Erika Ábrahám, Nils Jansen 0001, Armando Tacchella, Joost-Pieter Katoen A Greedy Approach for the Efficient Repair of Stochastic Models. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella Computational thinking for beginners: A successful experience using Prolog. Search on Bibsonomy CILC The full citation details ... 2015 DBLP  BibTeX  RDF
1Shashank Pathak, Luca Pulina, Armando Tacchella Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. Search on Bibsonomy AI*IA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia An Empirical Perspective on Ten Years of QBF Solving. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Shashank Pathak, Luca Pulina, Armando Tacchella A Case for Robust AI in Robotics. Search on Bibsonomy AIRO@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia Automatic Test-Pattern Generation for Grey-Box Programs. Search on Bibsonomy AST@ICSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ali Khalili, Lorenzo Natale, Armando Tacchella Reverse Engineering of Middleware for Verification of Robot Control Architectures. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Massimo Ancona, N. Corradi, A. Dellacasa, Giorgio Delzanno, Jean-Luc Dugelay, Bianca Federici, Philippe Gourbesville, Giovanna Guerrini, Andrea La Camera, Paolo Rosso, J. Stephens, Armando Tacchella, G. Zolezzi On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. Search on Bibsonomy ANT/SEIT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ali Khalili, Lorenzo Natale, Armando Tacchella Reverse Engineering of Middleware for Verification of Robot Control Architectures. Search on Bibsonomy SIMPAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella Engineering Approaches and Methods to Verify Software in Autonomous Systems. Search on Bibsonomy IAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shashank Pathak, Giorgio Metta, Armando Tacchella Is verification a requisite for safe adaptive robots? Search on Bibsonomy SMC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ali Khalili, Armando Tacchella Learning Nondeterministic Mealy Machines. Search on Bibsonomy ICGI The full citation details ... 2014 DBLP  BibTeX  RDF
1Matteo Casu, Giuseppe Cicala, Armando Tacchella Ontology-based data access: An application to intermodal logistics. Search on Bibsonomy Information Systems Frontiers The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella How to Abstract Intelligence? (If Verification Is in Order). Search on Bibsonomy AAAI Fall Symposia The full citation details ... 2013 DBLP  BibTeX  RDF
1Giuseppe Cicala, Marco Oreggia, Armando Tacchella Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. Search on Bibsonomy IROS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella OBDA and Intermodal Logistics: Active Projects and Applications. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella Challenging SMT solvers to verify neural networks. Search on Bibsonomy AI Commun. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Luca Pulina, Armando Tacchella NeVer: a tool for artificial neural networks verification. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matteo Casu, Armando Tacchella From Natural Language Definitions to Knowledge Bases Axioms. Search on Bibsonomy AI*IA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. Search on Bibsonomy AI*IA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella AQME'10. Search on Bibsonomy JSAT The full citation details ... 2010 DBLP  BibTeX  RDF
1Luca Pulina, Armando Tacchella An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella Safe and effective learning: A case study. Search on Bibsonomy ICRA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella Collaborative Expert Portfolio Management. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Claudia Peschiera, Luca Pulina, Armando Tacchella Designing a solver competition: the QBFEVAL'10 case study. Search on Bibsonomy EMSQMS@IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce The Seventh QBF Solvers Evaluation (QBFEVAL'10). Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anahì Balbi, Michael Provost, Armando Tacchella Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study. Search on Bibsonomy IEA/AIE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella Safe Learning with Real-Time Constraints: A Case Study. Search on Bibsonomy IEA/AIE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella Evaluating and certifying QBFs: A comparison of state-of-the-art tools. Search on Bibsonomy AI Commun. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella A self-adaptive multi-engine solver for quantified Boolean formulas. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Self-adaptive multi-engine solver, AQME, Quantified Boolean formulas
1Luca Pulina, Armando Tacchella A structural approach to reasoning with quantified Boolean formulas. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Luca Pulina, Armando Tacchella Hard QBF Encodings Made Easy: Dream or Reality? Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. Search on Bibsonomy IEA/AIE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Ontology-driven information systems design, Domain-specific ontologies, Knowledge management
1Luca Pulina, Armando Tacchella Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella A Structural Approach to Reasoning with Quantified Boolean Formulas. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Roberto Sebastiani, Armando Tacchella SAT Techniques for Modal and Description Logics. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li Guest Editors Conclusion. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1Luca Pulina, Armando Tacchella Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella QuBIS: An (In)complete Solver for Quantified Boolean Formulas. Search on Bibsonomy MICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Quantifier Structure in Search-Based Procedures for QBFs. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella A Multi-engine Solver for Quantified Boolean Formulas. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Massimo Narizzano, Luca Pulina, Armando Tacchella Ranking and Reputation Systems in the QBF Competition. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Massimo Narizzano, Luca Pulina, Armando Tacchella Report of the Third QBF Solvers Evaluation. Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Massimo Narizzano, Luca Pulina, Armando Tacchella The QBFEVAL Web Portal. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Quantifier structure in search based procedures for QBFs. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella QuBE++: An Efficient QBF Solver. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Monotone Literals and Learning in QBF Reasoning. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Armando Tacchella (eds.) Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers Search on Bibsonomy SAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella The Second QBF Solvers Comparative Evaluation. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella QBF Reasoning on Real-World Instances. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella QBF Reasoning on Real-World Instances. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Backjumping for Quantified Boolean Logic satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Claudio Castellini, Enrico Giunchiglia, Armando Tacchella SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea, Armando Tacchella (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Daniel Le Berre, Laurent Simon, Armando Tacchella Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella Watched Data Structures for QBF Solvers. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia SAT-Based Decision Procedures for Classical Modal Logics. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea, Armando Tacchella Dependent and Independent Variables in Propositional Satisfiability. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Learning for Quantified Boolean Logic Satisfiability. Search on Bibsonomy AAAI/IAAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella Integrating BDD-Based and SAT-Based Symbolic Model Checking. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Armando Tacchella A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 114 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license