Florian Letombe Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florian Letombe, João Marques-Silva: Hybrid Incremental Algorithms for Boolean Satisfiability. International Journal on Artificial Intelligence Tools 21(6) (2012)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tao Xie, Wolfgang Müller, Florian Letombe: Mutation-analysis driven functional verification of a soft microprocessor. SoCC 2012: 283-288
2011
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tao Xie, Wolfgang Müller, Florian Letombe: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD 2011: 608-615
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tao Xie, Wolfgang Müller, Florian Letombe: IP-XACT based system level mutation testing. HLDVT 2011: 65-71
2010
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tao Xie, Wolfgang Müller, Florian Letombe: Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC 2010: 114-124
2009
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: Functional qualification of TLM verification. DATE 2009: 190-195
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: On the Functional Qualification of a Platform Model. DFT 2009: 182-190
2008
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva: A MAX-SAT Algorithm Portfolio. ECAI 2008: 911-912
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florian Letombe, João Marques-Silva: Improvements to Hybrid Incremental SAT Algorithms. SAT 2008: 168-181
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis: Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI 2005: 288-293
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe: A Branching Heuristics for Quantified Renamable Horn Formulas. SAT 2005: 393-399

Coauthor Index

1Daniel Le Berre
[j1] [c2] [c1]
2Nicola Bombieri
[c6]
3Sylvie Coste-Marquis
[j1] [c2] [c1]
4Franco Fummi
[c6] [c5]
5Giuseppe Di Guglielmo
[c5]
6Mark Hampton
[c6] [c5]
7Joao Marques-Silva (João P. Marques Silva, João Marques-Silva)
[j2] [c4] [c3]
8Pierre Marquis
[j1] [c2]
9Paulo J. Matos
[c4]
10Wolfgang Müller 0003
[c10] [c9] [c8] [c7]
11Jordi Planes
[c4]
12Graziano Pravadelli
[c6] [c5]
13Tao Xie
[c10] [c9] [c8] [c7]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 13:43:41 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page