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 × Brazil
1 × Estonia
1 × Italy
1 × Poland
1 × United Kingdom
2 × Canada
Collaborated with:
S.Bernardini A.Cimatti A.Lallouet J.Vautard
Talks about:
increment (2) procedur (2) compil (2) model (2) qbfs (2) sup (2) sat (2) adversari (1) quantifi (1) schedul (1)

Person: Marco Benedetti

DBLP DBLP: Benedetti:Marco

Contributed to:

SAC 20082008
CADE 20052005
SAT 20052005
SAT 20042004
SAT 20042005
TACAS 20032003
IJCAR 20012001

Wrote 7 papers:

SAC-2008-BenedettiLV #modelling #scheduling
Modeling adversary scheduling with QCSP+ (MB, AL, JV), pp. 151–155.
CADE-2005-Benedetti #named
sKizzo: A Suite to Evaluate and Certify QBFs (MB), pp. 369–376.
SAT-2005-Benedetti #quantifier
Quantifier Trees for QBFs (MB), pp. 378–385.
SAT-2004-BenedettiB #incremental
Incremental Compilation-to-SAT Procedures (MB, SB), pp. 205–213.
SAT-J-2004-BenedettiB05 #incremental
Incremental Compilation-to-SAT Procedures (MB, SB), pp. 46–58.
TACAS-2003-BenedettiC #bound #ltl #model checking
Bounded Model Checking for Past LTL (MB, AC), pp. 18–33.
IJCAR-2001-Benedetti #graph
Conditional Pure Literal Graphs (MB), pp. 331–346.

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.