Searching for authors named "Florian Letombe" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Propositional fragments for knowledge compilation and quantified Boolean formulae
by Sylvie Coste-marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis — 2005 — In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI
…-Marquis and Daniel Le Berre and Florian Letombe and Pierre Marquis CRIL/CNRS, Université d’Artois, rue de l…
Cited by 3 (0 self) – Add To MetaCart

A branching heuristics for quantified renamable Horn formulas
by Sylvie Coste-marquis, Daniel Le Berre, Florian Letombe — 2005 — In SAT’05, volume 3569 of LNCS
… Berre and Florian Letombe ⋆ CRIL, CNRS FRE 2499 {coste,leberre,letombe}@(email omitted); Abstract…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB