 | 2011 |
|---|
| 10 |       | Tao Xie,
Wolfgang Müller,
Florian Letombe:
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.
DSD 2011: 608-615 |
| 9 | | Tao Xie,
Wolfgang Müller,
Florian Letombe:
IP-XACT based system level mutation testing.
HLDVT 2011: 65-71 |
| 2010 |
|---|
| 8 | | Tao Xie,
Wolfgang Müller,
Florian Letombe:
Efficient Mutation-Analysis Coverage for Constrained Random Verification.
DIPES/BICC 2010: 114-124 |
| 2009 |
|---|
| 7 | | Nicola Bombieri,
Franco Fummi,
Graziano Pravadelli,
Mark Hampton,
Florian Letombe:
Functional qualification of TLM verification.
DATE 2009: 190-195 |
| 6 | | Giuseppe Di Guglielmo,
Franco Fummi,
Graziano Pravadelli,
Mark Hampton,
Florian Letombe:
On the Functional Qualification of a Platform Model.
DFT 2009: 182-190 |
| 2008 |
|---|
| 5 | | Paulo J. Matos,
Jordi Planes,
Florian Letombe,
João Marques-Silva:
A MAX-SAT Algorithm Portfolio.
ECAI 2008: 911-912 |
| 4 | | Florian Letombe,
João Marques-Silva:
Improvements to Hybrid Incremental SAT Algorithms.
SAT 2008: 168-181 |
| 2006 |
|---|
| 3 | | Sylvie Coste-Marquis,
Daniel Le Berre,
Florian Letombe,
Pierre Marquis:
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages.
JSAT 1(1): 61-88 (2006) |
| 2005 |
|---|
| 2 |  | Sylvie Coste-Marquis,
Daniel Le Berre,
Florian Letombe,
Pierre Marquis:
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.
AAAI 2005: 288-293 |
| 1 | | Sylvie Coste-Marquis,
Daniel Le Berre,
Florian Letombe:
A Branching Heuristics for Quantified Renamable Horn Formulas.
SAT 2005: 393-399 |
Data released under the ODC-BY 1.0 license — See also our legal information page