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: Bertoli:Piergiorgio
Contributed to:
2002
2001
1998Wrote 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.