Travelled to:1 × China
1 × France
1 × United Kingdom
Collaborated with:J.Marques-Silva S.Coste-Marquis D.L.Berre N.Bombieri F.Fummi G.Pravadelli M.Hampton
Talks about:increment (1) algorithm (1) quantifi (1) function (1) heurist (1) formula (1) qualif (1) improv (1) hybrid (1) branch (1)
Person: Florian Letombe
DBLP: Letombe:Florian
Contributed to:
2009
20082005Wrote 3 papers:
- DATE-2009-BombieriFPHL #functional #verification
- Functional qualification of TLM verification (NB, FF, GP, MH, FL), pp. 190–195.
- SAT-2008-LetombeM #algorithm #hybrid #incremental #satisfiability
- Improvements to Hybrid Incremental SAT Algorithms (FL, JMS), pp. 168–181.
- SAT-2005-Coste-MarquisBL #branch #heuristic #quantifier
- A Branching Heuristics for Quantified Renamable Horn Formulas (SCM, DLB, FL), pp. 393–399.