Travelled to:1 × Denmark
1 × France
1 × Germany
2 × Canada
2 × USA
2 × United Kingdom
3 × Italy
Collaborated with:E.Giunchiglia M.Narizzano L.Pulina D.L.Berre L.Simon M.Y.Vardi F.Giunchiglia R.Sebastiani M.Maratea D.Zambonin I.P.Gent A.G.D.Rowley C.Peschiera U.Bubeck O.Kullmann I.Lynce F.Copty L.Fix R.Fraer G.Kamhi A.Cimatti E.M.Clarke M.Pistore M.Roveri
Talks about:qbf (7) evalu (5) solver (4) procedur (3) sat (3) structur (2) quantifi (2) satisfi (2) instanc (2) system (2)
Person: Armando Tacchella
DBLP: Tacchella:Armando
Facilitated 1 volumes:
EdContributed to:
20102010
200620042005200320022001
20012001
2000
1998Wrote 15 papers:
- CAV-2010-PulinaT #abstraction #approach #network #verification
- An Abstraction-Refinement Approach to Verification of Artificial Neural Networks (LP, AT), pp. 243–257.
- SAT-2010-PeschieraPTBKL #evaluation
- The Seventh QBF Solvers Evaluation (QBFEVAL’10) (CP, LP, AT, UB, OK, IL), pp. 237–250.
- DATE-2006-GiunchigliaNT #quantifier
- Quantifier structure in search based procedures for QBFs (EG, MN, AT), pp. 812–817.
- SAT-2004-GiunchigliaNT #reasoning
- QBF Reasoning on Real-World Instances (EG, MN, AT), pp. 247–254.
- SAT-J-2004-BerreNST05 #comparative #evaluation
- The Second QBF Solvers Comparative Evaluation (DLB, MN, LS, AT), pp. 376–392.
- SAT-J-2004-GiunchigliaNT05 #reasoning
- QBF Reasoning on Real-World Instances (EG, MN, AT), pp. 105–121.
- SAT-2003-BerreST #challenge #evaluation #satisfiability
- Challenges in the QBF Arena: the SAT’03 Evaluation of QBF Solvers (DLB, LS, AT), pp. 468–485.
- SAT-2003-GentGNRT #data type
- Watched Data Structures for QBF Solvers (IPG, EG, MN, AGDR, AT), pp. 25–36.
- CAV-2002-CimattiCGGPRST #model checking
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking (AC, EMC, EG, FG, MP, MR, RS, AT), pp. 359–364.
- CAV-2001-CoptyFFGKTV #bound #industrial #model checking
- Benefits of Bounded Model Checking at an Industrial Setting (FC, LF, RF, EG, GK, AT, MYV), pp. 436–453.
- IJCAR-2001-GiunchigliaMTZ #heuristic #optimisation #satisfiability
- Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability (EG, MM, AT, DZ), pp. 347–363.
- IJCAR-2001-GiunchigliaNT #named #quantifier #satisfiability
- QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability (EG, MN, AT), pp. 364–369.
- SAT-2001-GiunchigliaNTV #library #performance #satisfiability #towards
- Towards an Efficient Library for SAT: a Manifesto (EG, MN, AT, MYV), pp. 290–310.
- CADE-2000-GiunchigliaT #development #framework #platform
- System Description: *SAT: A Platform for the Development of Modal Decision Procedures (EG, AT), pp. 291–296.
- KR-1998-GiunchigliaGST #evaluation #logic
- More Evaluation of Decision Procedures for Modal Logics (EG, FG, RS, AT), pp. 626–635.