| 2008 | ||
|---|---|---|
| 3 | EE | Florian Letombe, João Marques-Silva: Improvements to Hybrid Incremental SAT Algorithms. SAT 2008: 168-181 |
| 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 | EE | Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe: A Branching Heuristics for Quantified Renamable Horn Formulas. SAT 2005: 393-399 |
| 1 | Daniel Le Berre | [1] [2] |
| 2 | Sylvie Coste-Marquis | [1] [2] |
| 3 | Pierre Marquis | [2] |
| 4 | João P. Marques Silva (João Marques-Silva) | [3] |