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 × Italy
Collaborated with:
A.Cimatti M.Roveri F.Giunchiglia A.Coglio G.Audemard A.Kornilowicz R.Sebastiani
Talks about:
state (2) proposit (1) powerset (1) mathemat (1) explicit (1) automata (1) approach (1) project (1) formula (1) boolean (1)

Person: Piergiorgio Bertoli

DBLP DBLP: Bertoli:Piergiorgio

Contributed to:

CADE 20022002
TACAS 20012001
WRLA 19981998

Wrote 3 papers:

CADE-2002-AudemardBCKS #approach #linear #satisfiability
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions (GA, PB, AC, AK, RS), pp. 195–210.
TACAS-2001-CimattiRB #automaton #model checking #set
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking (AC, MR, PB), pp. 313–327.
WRLA-1998-GiunchigliaBC #state of the art
The OMRS project: state of the art (FG, PB, AC), pp. 127–146.

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.