Florian Letombe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DSD | HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. | Tao Xie, Wolfgang Mller, Florian Letombe |
| 2009 | DATE | Functional qualification of TLM verification. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe |
| 2008 | ECAI | A MAX-SAT Algorithm Portfolio. | Paulo J. Matos, Jordi Planes, Florian Letombe, Joo Marques-Silva |
| 2008 | SAT | Improvements to Hybrid Incremental SAT Algorithms. | Florian Letombe, Joo Marques-Silva |
| 2005 | AAAI | Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. | Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis |
| 2005 | SAT | A Branching Heuristics for Quantified Renamable Horn Formulas. | Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe |