ML Anthology

Letombe, Florian

1 publications

AAAI 2005 Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis