Florian Letombe

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Boolean Satisfiability

Symmetry Breaking

Incremental Algorithms

Top Venues

Int. J. Artif. Intell. Tools

Publications

Florian Letombe, João Marques-Silva
Hybrid Incremental Algorithms for Boolean Satisfiability. Int. J. Artif. Intell. Tools 21 (6) (2012)
Tao Xie, Wolfgang Müller, Florian Letombe
Mutation-analysis driven functional verification of a soft microprocessor. SoCC (2012)
Tao Xie, Wolfgang Müller, Florian Letombe
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD (2011)
Tao Xie, Wolfgang Müller, Florian Letombe
IP-XACT based system level mutation testing. HLDVT (2011)
Tao Xie, Wolfgang Müller, Florian Letombe
Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC (2010)
Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
Functional qualification of TLM verification. DATE (2009)
Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
On the Functional Qualification of a Platform Model. DFT (2009)
Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva
A MAX-SAT Algorithm Portfolio. ECAI (2008)
Florian Letombe, João Marques-Silva
Improvements to Hybrid Incremental SAT Algorithms. SAT (2008)
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. J. Satisf. Boolean Model. Comput. 1 (1) (2006)
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe
A Branching Heuristics for Quantified Renamable Horn Formulas. SAT (2005)
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI (2005)