BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tacchella:Armando

Facilitated 1 volumes:

SAT 2003Ed

Contributed to:

CAV 20102010
SAT 20102010
DATE 20062006
SAT 20042004
SAT 20042005
SAT 20032003
CAV 20022002
CAV 20012001
IJCAR 20012001
SAT 20012001
CADE 20002000
KR 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.